Graded Computation Tree Logic with Binary Coding
From MaRDI portal
Publication:3586038
DOI10.1007/978-3-642-15205-4_13zbMath1287.68102OpenAlexW1503593284MaRDI QIDQ3586038
Alessandro Bianco, Fabio Mogavero, Aniello Murano
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_13
Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (2)
This page was built for publication: Graded Computation Tree Logic with Binary Coding