Promptness and Bounded Fairness in Concurrent and Parameterized Systems
Attributed to:
quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-39322-9_16
Publication URI: http://dx.doi.org/10.1007/978-3-030-39322-9_16
Type: Book Chapter
Book Title: Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings (2020)
Page Reference: 337-359
ISSN: 1436-3798