%0 Conference Paper %1 conf/epew/DulatKN10 %A Dulat, Falko %A Katoen, Joost-Pieter %A Nguyen, Viet Yen %B EPEW %D 2010 %E Aldini, Alessandro %E Bernardo, Marco %E Bononi, Luciano %E Cortellessa, Vittorio %I Springer %K dblp %P 115-130 %T Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. %U http://dblp.uni-trier.de/db/conf/epew/epew2010.html#DulatKN10 %V 6342 %@ 978-3-642-15783-7

@inproceedings{conf/epew/DulatKN10, added-at = {2018-11-14T00:00:00.000+0100}, author = {Dulat, Falko and Katoen, Joost-Pieter and Nguyen, Viet Yen}, biburl = {https://www.bibsonomy.org/bibtex/20eb47fba4f7e2319f26a73d09bf41a59/dblp}, booktitle = {EPEW}, crossref = {conf/epew/2010}, editor = {Aldini, Alessandro and Bernardo, Marco and Bononi, Luciano and Cortellessa, Vittorio}, ee = {https://www.wikidata.org/entity/Q57801455}, interhash = {0771e95bd7ca8e1941417089d389f81e}, intrahash = {0eb47fba4f7e2319f26a73d09bf41a59}, isbn = {978-3-642-15783-7}, keywords = {dblp}, pages = {115-130}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:28:15.000+0200}, title = {Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report.}, url = {http://dblp.uni-trier.de/db/conf/epew/epew2010.html#DulatKN10}, volume = 6342, year = 2010 }