Completeness and Decidability Results for CTL in Coq
Work
Year: 2014
Type: book-chapter
Authors Christian Doczkal, Gert Smolka
Institution Saarland University
Cites: 17
Cited by: 7
Related to: 10
FWCI: 1.173
Citation percentile (by year/subfield): 87.77
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed