학술논문
Selective quantitative analysis and interval model checking: Verifying different facets of a system
Document Type
Journal
Author
Source
Subject
Language
English
ISSN
09259856