%0 Conference Paper %1 conf/qest/HeraultLP06 %A Hérault, Thomas %A Lassaigne, Richard %A Peyronnet, Sylvain %B QEST %D 2006 %I IEEE Computer Society %K dblp %P 129-130 %T APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. %U http://dblp.uni-trier.de/db/conf/qest/qest2006.html#HeraultLP06 %@ 0-7695-2665-9

@inproceedings{conf/qest/HeraultLP06, added-at = {2024-05-07T00:00:00.000+0200}, author = {Hérault, Thomas and Lassaigne, Richard and Peyronnet, Sylvain}, biburl = {https://www.bibsonomy.org/bibtex/2eb404aa2ca20b8ef5df816dcced33ec6/dblp}, booktitle = {QEST}, crossref = {conf/qest/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2006.5}, interhash = {27a4a213e640cd39c14653aaa574f516}, intrahash = {eb404aa2ca20b8ef5df816dcced33ec6}, isbn = {0-7695-2665-9}, keywords = {dblp}, pages = {129-130}, publisher = {IEEE Computer Society}, timestamp = {2024-05-13T09:28:04.000+0200}, title = {APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#HeraultLP06}, year = 2006 }