%0 Conference Paper %1 conf/arts/Vardi99 %A Vardi, Moshe Y. %B ARTS %D 1999 %E Katoen, Joost-Pieter %I Springer %K dblp %P 265-276 %T Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. %U http://dblp.uni-trier.de/db/conf/arts/arts1999.html#Vardi99 %V 1601 %@ 3-540-66010-0

@inproceedings{conf/arts/Vardi99, added-at = {2017-05-24T00:00:00.000+0200}, author = {Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/24cbb003d1e1262313416fa0ce1a66e5f/dblp}, booktitle = {ARTS}, crossref = {conf/arts/1999}, editor = {Katoen, Joost-Pieter}, ee = {https://doi.org/10.1007/3-540-48778-6_16}, interhash = {bbc3bcc9891f3686b207ece95e2ff13e}, intrahash = {4cbb003d1e1262313416fa0ce1a66e5f}, isbn = {3-540-66010-0}, keywords = {dblp}, pages = {265-276}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:12:08.000+0200}, title = {Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach.}, url = {http://dblp.uni-trier.de/db/conf/arts/arts1999.html#Vardi99}, volume = 1601, year = 1999 }