%0 Conference Paper %1 conf/fmics/MahmoudPT15 %A Mahmoud, Mohamed Yousri %A Panangaden, Prakash %A Tahar, Sofiène %B FMICS %D 2015 %E Núñez, Manuel %E Güdemann, Matthias %I Springer %K dblp %P 198-211 %T On the Formal Verification of Optical Quantum Gates in HOL. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2015.html#MahmoudPT15 %V 9128 %@ 978-3-319-19457-8

@inproceedings{conf/fmics/MahmoudPT15, added-at = {2017-06-15T00:00:00.000+0200}, author = {Mahmoud, Mohamed Yousri and Panangaden, Prakash and Tahar, Sofiène}, biburl = {https://www.bibsonomy.org/bibtex/2ba56080aa18dc2b48d36de8bade45d05/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2015}, editor = {Núñez, Manuel and Güdemann, Matthias}, ee = {https://doi.org/10.1007/978-3-319-19458-5_13}, interhash = {c6d1e604308f7175b435efb85d033794}, intrahash = {ba56080aa18dc2b48d36de8bade45d05}, isbn = {978-3-319-19457-8}, keywords = {dblp}, pages = {198-211}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:56:19.000+0200}, title = {On the Formal Verification of Optical Quantum Gates in HOL.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2015.html#MahmoudPT15}, volume = 9128, year = 2015 }