%0 Conference Paper %1 conf/formats/WulfDMR04 %A Wulf, Martin De %A Doyen, Laurent %A Markey, Nicolas %A Raskin, Jean-François %B FORMATS/FTRTFT %D 2004 %E Lakhnech, Yassine %E Yovine, Sergio %I Springer %K dblp %P 118-133 %T Robustness and Implementability of Timed Automata. %U http://dblp.uni-trier.de/db/conf/formats/formats2004.html#WulfDMR04 %V 3253 %@ 3-540-23167-6

@inproceedings{conf/formats/WulfDMR04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Wulf, Martin De and Doyen, Laurent and Markey, Nicolas and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/2775a4928ecd8a3e6f795f4b5d9398083/dblp}, booktitle = {FORMATS/FTRTFT}, crossref = {conf/formats/2004}, editor = {Lakhnech, Yassine and Yovine, Sergio}, ee = {https://doi.org/10.1007/978-3-540-30206-3_10}, interhash = {7a61755bddbb29fa3303d150f79fcaaa}, intrahash = {775a4928ecd8a3e6f795f4b5d9398083}, isbn = {3-540-23167-6}, keywords = {dblp}, pages = {118-133}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:39.000+0200}, title = {Robustness and Implementability of Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2004.html#WulfDMR04}, volume = 3253, year = 2004 }