%0 Conference Paper %1 conf/pts/YangHF12 %A Yang, Hengyi %A Hoxha, Bardh %A Fainekos, Georgios E. %B ICTSS %D 2012 %E Nielsen, Brian %E Weise, Carsten %I Springer %K dblp %P 136-151 %T Querying Parametric Temporal Logic Properties on Embedded Systems. %U http://dblp.uni-trier.de/db/conf/pts/ictss2012.html#YangHF12 %V 7641 %@ 978-3-642-34690-3

@inproceedings{conf/pts/YangHF12, added-at = {2018-06-26T00:00:00.000+0200}, author = {Yang, Hengyi and Hoxha, Bardh and Fainekos, Georgios E.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/289044be27aead13624d669f7845c446d/dblp}, booktitle = {ICTSS}, crossref = {conf/pts/2012}, editor = {Nielsen, Brian and Weise, Carsten}, ee = {https://doi.org/10.1007/978-3-642-34691-0_11}, interhash = {0093ea43cba2cf8c5d6c25d850b3b0da}, intrahash = {89044be27aead13624d669f7845c446d}, isbn = {978-3-642-34690-3}, keywords = {dblp}, pages = {136-151}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:23:55.000+0200}, title = {Querying Parametric Temporal Logic Properties on Embedded Systems.}, url = {http://dblp.uni-trier.de/db/conf/pts/ictss2012.html#YangHF12}, volume = 7641, year = 2012 }