%0 Conference Paper %1 conf/dsn/HaverkortCHK02 %A Haverkort, Boudewijn R. %A Cloth, Lucia %A Hermanns, Holger %A Katoen, Joost-Pieter %A Baier, Christel %B DSN %D 2002 %I IEEE Computer Society %K %P 103-112 %T Model Checking Performability Properties. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2002.html#HaverkortCHK02 %@ 0-7695-1597-5

@inproceedings{conf/dsn/HaverkortCHK02, added-at = {2023-12-13T01:46:17.000+0100}, author = {Haverkort, Boudewijn R. and Cloth, Lucia and Hermanns, Holger and Katoen, Joost-Pieter and Baier, Christel}, biburl = {https://www.bibsonomy.org/bibtex/2d32695d328b2793507effdc43f597c65/admin}, booktitle = {DSN}, crossref = {conf/dsn/2002}, ee = {https://www.wikidata.org/entity/Q57802048}, interhash = {7633364b39694ff699dded8c40b6996c}, intrahash = {d32695d328b2793507effdc43f597c65}, isbn = {0-7695-1597-5}, keywords = {}, pages = {103-112}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T01:46:17.000+0100}, title = {Model Checking Performability Properties.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2002.html#HaverkortCHK02}, year = 2002 }