Found 2 Documents (Results 1–2)
Model checking probabilistic systems. (English) Zbl 1392.68227
Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 963-999 (2018).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
all
top 5
Author
- Baier, Christel (2)
- de Alfaro, Luca (1)
- Forejt, Vojtěch (1)
- Hensel, Christian (1)
- Hutschenreiter, Lisa (1)
- Junges, Sebastian (1)
- Katoen, Joost-Pieter (1)
- Klein, Joachim (1)
- Kwiatkowska, Marta Z. (1)