%0 Conference Paper %1 conf/ccnc/GrajaKGK17 %A Graja, Imen %A Kallel, Slim %A Guermouche, Nawal %A Kacem, Ahmed Hadj %B CCNC %D 2017 %I IEEE %K %P 325-330 %T Modeling and verification of temporal properties in cyber-physical systems. %U http://dblp.uni-trier.de/db/conf/ccnc/ccnc2017.html#GrajaKGK17 %@ 978-1-5090-6196-9

@inproceedings{conf/ccnc/GrajaKGK17, added-at = {2023-12-13T06:44:29.000+0100}, author = {Graja, Imen and Kallel, Slim and Guermouche, Nawal and Kacem, Ahmed Hadj}, biburl = {https://www.bibsonomy.org/bibtex/22777117a80e763b52d9f0e53eb350f73/admin}, booktitle = {CCNC}, crossref = {conf/ccnc/2017}, ee = {https://doi.org/10.1109/CCNC.2017.7983127}, interhash = {b12c1fec661abcf50fc0d78bba7a6a4b}, intrahash = {2777117a80e763b52d9f0e53eb350f73}, isbn = {978-1-5090-6196-9}, keywords = {}, pages = {325-330}, publisher = {IEEE}, timestamp = {2023-12-13T06:44:29.000+0100}, title = {Modeling and verification of temporal properties in cyber-physical systems.}, url = {http://dblp.uni-trier.de/db/conf/ccnc/ccnc2017.html#GrajaKGK17}, year = 2017 }