Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Prakash Panangaden. Mathematical techniques for analyzing concurrent and probabilistic systems. Volume 23 of CRM monograph series, American Mathematical Society, 2004. [doi]
@book{0015436,
title = {Mathematical techniques for analyzing concurrent and probabilistic systems},
author = {Jan J. M. M. Rutten and Marta Z. Kwiatkowska and Gethin Norman and David Parker 0001 and Prakash Panangaden},
year = {2004},
url = {http://www.ams.org/publications/authors/books/postpub/crmm-23},
researchr = {https://researchr.org/publication/0015436},
cites = {0},
citedby = {0},
volume = {23},
series = {CRM monograph series},
publisher = {American Mathematical Society},
isbn = {978-0-8218-3571-5},
}