Complexity of Decision Problems for Mixed and Modal Specifications
Attributed to:
Complete and Efficient Checks for Branching-Time Abstractions
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-78499-9_9
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/47249092424
Type: Book Chapter
Book Title: Foundations of Software Science and Computational Structures (2008)
Page Reference: 112-126