%0 Journal Article %1 journals/tcs/HermannsHK02 %A Hermanns, Holger %A Herzog, Ulrich %A Katoen, Joost-Pieter %D 2002 %J Theor. Comput. Sci. %K %N 1-2 %P 43-87 %T Process algebra for performance evaluation. %U http://dblp.uni-trier.de/db/journals/tcs/tcs274.html#HermannsHK02 %V 274

@article{journals/tcs/HermannsHK02, added-at = {2023-12-13T06:48:27.000+0100}, author = {Hermanns, Holger and Herzog, Ulrich and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/2a180b5c058e9d37b5aecbf8ed3152fb7/admin}, ee = {https://www.wikidata.org/entity/Q57802062}, interhash = {b1ef5e384bf06370613c0b8d67074a65}, intrahash = {a180b5c058e9d37b5aecbf8ed3152fb7}, journal = {Theor. Comput. Sci.}, keywords = {}, number = {1-2}, pages = {43-87}, timestamp = {2023-12-13T06:48:27.000+0100}, title = {Process algebra for performance evaluation.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs274.html#HermannsHK02}, volume = 274, year = 2002 }