Formal Verification of Optical Quantum Flip Gate.
| Autor: | Mahmoud, Mohamed Yousri, Aravantinos, Vincent, Tahar, Sofiène |
|---|---|
| Zdroj: | Interactive Theorem Proving (9783319089690); 2014, p358-373, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Mahmoud, Mohamed Yousri, Aravantinos, Vincent, Tahar, Sofiène |
|---|---|
| Zdroj: | Interactive Theorem Proving (9783319089690); 2014, p358-373, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|