%0 Conference Paper %1 conf/dsn/BaierCHKS04 %A Baier, Christel %A Cloth, Lucia %A Haverkort, Boudewijn R. %A Kuntz, Matthias %A Siegle, Markus %B DSN %D 2004 %I IEEE Computer Society %K %P 701-710 %T Model Checking Action- and State-Labelled Markov Chains. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2004.html#BaierCHKS04 %@ 0-7695-2052-9

@inproceedings{conf/dsn/BaierCHKS04, added-at = {2023-12-13T04:09:14.000+0100}, author = {Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Kuntz, Matthias and Siegle, Markus}, biburl = {https://www.bibsonomy.org/bibtex/2645e190e93dee7ca1298778a2a144618/admin}, booktitle = {DSN}, crossref = {conf/dsn/2004}, ee = {http://doi.ieeecomputersociety.org/10.1109/DSN.2004.1311941}, interhash = {92936063c73d7055390f23ef650d8a95}, intrahash = {645e190e93dee7ca1298778a2a144618}, isbn = {0-7695-2052-9}, keywords = {}, pages = {701-710}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T04:09:14.000+0100}, title = {Model Checking Action- and State-Labelled Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2004.html#BaierCHKS04}, year = 2004 }