Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P Panagaden, F van Breugel (Editors) CRM Monograph Series

J Rutten, Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Book/ReportBook

Original languageEnglish
PublisherAmerican Mathematical Society
VolumeVol 23
Publication statusPublished - 1 Jan 2004

Cite this