%0 Conference Paper %1 conf/concur/HermannsK01 %A Hermanns, Holger %A Katoen, Joost-Pieter %B CONCUR %D 2001 %E Larsen, Kim Guldstrand %E Nielsen, Mogens %I Springer %K dblp %P 59-81 %T Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. %U http://dblp.uni-trier.de/db/conf/concur/concur2001.html#HermannsK01 %V 2154 %@ 3-540-42497-0

@inproceedings{conf/concur/HermannsK01, added-at = {2017-05-23T00:00:00.000+0200}, author = {Hermanns, Holger and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/215e9b2bbe13d82689513058687d9fd68/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2001}, editor = {Larsen, Kim Guldstrand and Nielsen, Mogens}, ee = {https://doi.org/10.1007/3-540-44685-0_6}, interhash = {5994d87ab9a5a96263e5c2d680af6e7c}, intrahash = {15e9b2bbe13d82689513058687d9fd68}, isbn = {3-540-42497-0}, keywords = {dblp}, pages = {59-81}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:56:54.000+0200}, title = {Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2001.html#HermannsK01}, volume = 2154, year = 2001 }