%0 Conference Paper %1 conf/fmcad/GanjeiREP17 %A Ganjei, Zeinab %A Rezine, Ahmed %A Eles, Petru %A Peng, Zebo %B FMCAD %D 2017 %E Stewart, Daryl %E Weissenbacher, Georg %I IEEE %K %P 68-75 %T Safety verification of phaser programs. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2017.html#GanjeiREP17 %@ 978-0-9835678-7-5

@inproceedings{conf/fmcad/GanjeiREP17, added-at = {2023-12-13T06:57:22.000+0100}, author = {Ganjei, Zeinab and Rezine, Ahmed and Eles, Petru and Peng, Zebo}, biburl = {https://www.bibsonomy.org/bibtex/263e81d9a0e350eef25192b08ce3268b3/admin}, booktitle = {FMCAD}, crossref = {conf/fmcad/2017}, editor = {Stewart, Daryl and Weissenbacher, Georg}, ee = {https://doi.org/10.23919/FMCAD.2017.8102243}, interhash = {b3a5807385174d15f0eba16a941b1a74}, intrahash = {63e81d9a0e350eef25192b08ce3268b3}, isbn = {978-0-9835678-7-5}, keywords = {}, pages = {68-75}, publisher = {IEEE}, timestamp = {2023-12-13T06:57:22.000+0100}, title = {Safety verification of phaser programs.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2017.html#GanjeiREP17}, year = 2017 }