%0 Conference Paper %1 conf/stacs/Alfaro97 %A de Alfaro, Luca %B STACS %D 1997 %E Reischuk, Rüdiger %E Morvan, Michel %I Springer %K dblp %P 165-176 %T Temporal Logics for the Specification of Performance and Reliability. %U http://dblp.uni-trier.de/db/conf/stacs/stacs97.html#Alfaro97 %V 1200 %@ 3-540-62616-6

@inproceedings{conf/stacs/Alfaro97, added-at = {2017-05-22T00:00:00.000+0200}, author = {de Alfaro, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2d00e4b8844969c98a81ebb54d76ff043/dblp}, booktitle = {STACS}, crossref = {conf/stacs/1997}, editor = {Reischuk, Rüdiger and Morvan, Michel}, ee = {https://doi.org/10.1007/BFb0023457}, interhash = {8054d83e3383c99aa720e6a963697cdd}, intrahash = {d00e4b8844969c98a81ebb54d76ff043}, isbn = {3-540-62616-6}, keywords = {dblp}, pages = {165-176}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:26:04.000+0200}, title = {Temporal Logics for the Specification of Performance and Reliability.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs97.html#Alfaro97}, volume = 1200, year = 1997 }