Accelerated Model Checking of Parametric Markov Chains
Attributed to:
Energy Efficient Control
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-01090-4_18
Publication URI: http://dx.doi.org/10.1007/978-3-030-01090-4_18
Type: Book Chapter
Book Title: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (2018)
Page Reference: 300-316
ISSN: 0302-9743