%0 Conference Paper %1 conf/fmics/SiddiqueBT15 %A Siddique, Umair %A Beillahi, Sidi Mohamed %A Tahar, Sofiène %B FMICS %D 2015 %E Núñez, Manuel %E Güdemann, Matthias %I Springer %K %P 162-177 %T On the Formal Analysis of Photonic Signal Processing Systems. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2015.html#SiddiqueBT15 %V 9128 %@ 978-3-319-19457-8

@inproceedings{conf/fmics/SiddiqueBT15, added-at = {2023-12-13T07:37:21.000+0100}, author = {Siddique, Umair and Beillahi, Sidi Mohamed and Tahar, Sofiène}, biburl = {https://www.bibsonomy.org/bibtex/28daff756dc1a53900853df5aed2e47aa/admin}, 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_11}, interhash = {bb435f30c2dd9657f956391fe3ac6445}, intrahash = {8daff756dc1a53900853df5aed2e47aa}, isbn = {978-3-319-19457-8}, keywords = {}, pages = {162-177}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:37:21.000+0100}, title = {On the Formal Analysis of Photonic Signal Processing Systems.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2015.html#SiddiqueBT15}, volume = 9128, year = 2015 }