%0 Conference Paper %1 conf/voss/SokolovaV04 %A Sokolova, Ana %A de Vink, Erik P. %B Validation of Stochastic Systems %D 2004 %E Baier, Christel %E Haverkort, Boudewijn R. %E Hermanns, Holger %E Katoen, Joost-Pieter %E Siegle, Markus %I Springer %K dblp %P 1-43 %T Probabilistic Automata: System Types, Parallel Composition and Comparison. %U http://dblp.uni-trier.de/db/conf/voss/voss2004.html#SokolovaV04 %V 2925 %@ 3-540-22265-0

@inproceedings{conf/voss/SokolovaV04, added-at = {2017-05-24T00:00:00.000+0200}, author = {Sokolova, Ana and de Vink, Erik P.}, biburl = {https://www.bibsonomy.org/bibtex/23f3ed6ed80e53758de700051243ff074/dblp}, booktitle = {Validation of Stochastic Systems}, crossref = {conf/voss/2004}, editor = {Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter and Siegle, Markus}, ee = {https://doi.org/10.1007/978-3-540-24611-4_1}, interhash = {de2ec2ff13f351f1f31b84dce9df3cb0}, intrahash = {3f3ed6ed80e53758de700051243ff074}, isbn = {3-540-22265-0}, keywords = {dblp}, pages = {1-43}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:29:54.000+0200}, title = {Probabilistic Automata: System Types, Parallel Composition and Comparison.}, url = {http://dblp.uni-trier.de/db/conf/voss/voss2004.html#SokolovaV04}, volume = 2925, year = 2004 }