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/Report › Book

Original language	English
Publisher	American Mathematical Society
Volume	Vol 23
Publication status	Published - 1 Jan 2004

Cite this

@book{d87a25b2c0fe4be09343e99cf417569f,

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

author = "J Rutten and Marta Kwiatkowska and Gethin Norman and David Parker",

year = "2004",

month = jan,

day = "1",

language = "English",

volume = "Vol 23",

publisher = "American Mathematical Society",

address = "United States",

}

TY - BOOK

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

AU - Rutten, J

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

PY - 2004/1/1

Y1 - 2004/1/1

M3 - Book

VL - Vol 23

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

PB - American Mathematical Society

ER -