Found 3 Documents (Results 1–3)
Formalisms for specifying Markovian population models. (English) Zbl 1260.68284
Bournez, Olivier (ed.) et al., Reachability problems. 3rd international workshop, RP 2009, Palaiseau, France, September 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04419-9/pbk). Lecture Notes in Computer Science 5797, 3-23 (2009).
Three-valued abstraction for continuous-time Markov chains. (English) Zbl 1135.68476
Damm, Werner (ed.) et al., Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73367-6/pbk). Lecture Notes in Computer Science 4590, 311-324 (2007).
MSC:
68Q60
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (2)
all
top 5
Author
- Wolf, Verena (3)
- Katoen, Joost-Pieter (2)
- Klink, Daniel (2)
- Leucker, Martin (2)
- Henzinger, Thomas A. (1)
- Jobstmann, Barbara (1)