Robust PCTL model checking
Conference Paper
(2012)
Author(s)
A D'Innocenzo (External organisation)
A. Abate (TU Delft - Team Bart De Schutter)
J.P. Katoen (External organisation)
Research Group
Team Bart De Schutter
To reference this document use:
https://resolver.tudelft.nl/uuid:a75f5a8e-aadd-46ee-a3ac-29fb309ec737
More Info
expand_more
expand_more
Publication Year
2012
Language
English
Research Group
Team Bart De Schutter
Pages (from-to)
275-285
No files available
Metadata only record. There are no files for this record.