Affordable Access

deepdyve-link deepdyve-link
Publisher Website

Decomposition Theorems and Model-Checking for the Modal $\mu$-Calculus

Authors
Type
Preprint
Publication Date
Submission Date
Identifiers
DOI: 10.1145/2603088.2603144
arXiv ID: 1405.2234
Source
arXiv
External links

Abstract

Statistics

Seen <100 times