%0 Conference Paper %1 conf/srds/HaverkortHK00 %A Haverkort, Boudewijn R. %A Hermanns, Holger %A Katoen, Joost-Pieter %B SRDS %D 2000 %I IEEE Computer Society %K %P 228-237 %T On the Use of Model Checking Techniques for Dependability Evaluation. %U http://dblp.uni-trier.de/db/conf/srds/srds2000.html#HaverkortHK00 %@ 0-7695-0543-0

@inproceedings{conf/srds/HaverkortHK00, added-at = {2023-12-13T04:31:30.000+0100}, author = {Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/206117a887ec60f95e77e70ac6e30cdc7/admin}, booktitle = {SRDS}, crossref = {conf/srds/2000}, ee = {http://doi.ieeecomputersociety.org/10.1109/RELDI.2000.885410}, interhash = {96f12c3bf7522541fa36e09775cba848}, intrahash = {06117a887ec60f95e77e70ac6e30cdc7}, isbn = {0-7695-0543-0}, keywords = {}, pages = {228-237}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T04:31:30.000+0100}, title = {On the Use of Model Checking Techniques for Dependability Evaluation.}, url = {http://dblp.uni-trier.de/db/conf/srds/srds2000.html#HaverkortHK00}, year = 2000 }