%0 Conference Paper %1 conf/latin/HerbreteauCFRS02 %A Herbreteau, Frédéric %A Cassez, Franck %A Finkel, Alain %A Roux, Olivier F. %A Sutre, Grégoire %B LATIN %D 2002 %E Rajsbaum, Sergio %I Springer %K dblp %P 400-414 %T Verification of Embedded Reactive Fiffo Systems. %U http://dblp.uni-trier.de/db/conf/latin/latin2002.html#HerbreteauCFRS02 %V 2286 %@ 3-540-43400-3

@inproceedings{conf/latin/HerbreteauCFRS02, added-at = {2017-05-23T00:00:00.000+0200}, author = {Herbreteau, Frédéric and Cassez, Franck and Finkel, Alain and Roux, Olivier F. and Sutre, Grégoire}, biburl = {https://www.bibsonomy.org/bibtex/287064cbcd50a72711c307771325037dd/dblp}, booktitle = {LATIN}, crossref = {conf/latin/2002}, editor = {Rajsbaum, Sergio}, ee = {https://doi.org/10.1007/3-540-45995-2_36}, interhash = {47ba94ec7e8c43b4091a69b1e8c869a5}, intrahash = {87064cbcd50a72711c307771325037dd}, isbn = {3-540-43400-3}, keywords = {dblp}, pages = {400-414}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:17:14.000+0200}, title = {Verification of Embedded Reactive Fiffo Systems.}, url = {http://dblp.uni-trier.de/db/conf/latin/latin2002.html#HerbreteauCFRS02}, volume = 2286, year = 2002 }