Quantitative Reactive Modeling and Verification
Computer Science - Research and Development
doi 10.1007/s00450-013-0251-7
Full Text
Open PDFAbstract
Available in full text
Date
October 5, 2013
Authors
Publisher
Springer Science and Business Media LLC