%0 Conference Paper %1 conf/fsttcs/BruyereR03 %A Bruyère, Véronique %A Raskin, Jean-François %B FSTTCS %D 2003 %E Pandya, Paritosh K. %E Radhakrishnan, Jaikumar %I Springer %K dblp %P 100-111 %T Real-Time Model-Checking: Parameters Everywhere. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2003.html#BruyereR03 %V 2914 %@ 3-540-20680-9

@inproceedings{conf/fsttcs/BruyereR03, added-at = {2017-05-24T00:00:00.000+0200}, author = {Bruyère, Véronique and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/29d317635d65af8226203edd6b1a6d180/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2003}, editor = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar}, ee = {https://doi.org/10.1007/978-3-540-24597-1_9}, interhash = {c127a2b243fb575bcd01bd6a37683169}, intrahash = {9d317635d65af8226203edd6b1a6d180}, isbn = {3-540-20680-9}, keywords = {dblp}, pages = {100-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:08:53.000+0200}, title = {Real-Time Model-Checking: Parameters Everywhere.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2003.html#BruyereR03}, volume = 2914, year = 2003 }