Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

J.J.M.M. Rutten, M. Kwiatkowska, G. Norman, D.H. Parker

Research output: Book / Report › Book › Academic › peer-review

Original language	English
Place of Publication	x
Publisher	American Mathematical Society
Publication status	Published - 2004

Name	CRM Monograph Series
No.	23

Rut04c

Handle.net

@book{d6f02820a44f4d55b5680d5a15a8549d,

title = "Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems",

author = "J.J.M.M. Rutten and M. Kwiatkowska and G. Norman and D.H. Parker",

note = "Rut04c",

year = "2004",

language = "English",

series = "CRM Monograph Series",

publisher = "American Mathematical Society",

number = "23",

address = "United States",

}