%0 Conference Paper %1 conf/tacas/KuglerHPLB05 %A Kugler, Hillel %A Harel, David %A Pnueli, Amir %A Lu, Yuan %A Bontemps, Yves %B TACAS %D 2005 %E Halbwachs, Nicolas %E Zuck, Lenore D. %I Springer %K dblp %P 445-460 %T Temporal Logic for Scenario-Based Specifications. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#KuglerHPLB05 %V 3440 %@ 3-540-25333-5

@inproceedings{conf/tacas/KuglerHPLB05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Kugler, Hillel and Harel, David and Pnueli, Amir and Lu, Yuan and Bontemps, Yves}, biburl = {https://www.bibsonomy.org/bibtex/2073c59e6ee20cfede14f84af06fc191a/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2005}, editor = {Halbwachs, Nicolas and Zuck, Lenore D.}, ee = {https://doi.org/10.1007/978-3-540-31980-1_29}, interhash = {e43ea21a32bb7f13620d041106ea0e21}, intrahash = {073c59e6ee20cfede14f84af06fc191a}, isbn = {3-540-25333-5}, keywords = {dblp}, pages = {445-460}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:24.000+0200}, title = {Temporal Logic for Scenario-Based Specifications.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#KuglerHPLB05}, volume = 3440, year = 2005 }