%0 Conference Paper %1 conf/formats/BrihayeBR04 %A Brihaye, Thomas %A Bruyère, Véronique %A Raskin, Jean-François %B FORMATS/FTRTFT %D 2004 %E Lakhnech, Yassine %E Yovine, Sergio %I Springer %K dblp %P 277-292 %T Model-Checking for Weighted Timed Automata. %U http://dblp.uni-trier.de/db/conf/formats/formats2004.html#BrihayeBR04 %V 3253 %@ 3-540-23167-6

@inproceedings{conf/formats/BrihayeBR04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Brihaye, Thomas and Bruyère, Véronique and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/284538803c613c359ca2451cd61e1d9d5/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_20}, interhash = {d850ae215be1cfc5b0853a6b975d8643}, intrahash = {84538803c613c359ca2451cd61e1d9d5}, isbn = {3-540-23167-6}, keywords = {dblp}, pages = {277-292}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:39.000+0200}, title = {Model-Checking for Weighted Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2004.html#BrihayeBR04}, volume = 3253, year = 2004 }