FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5897790
DOI10.1007/11590156zbMath1172.03320OpenAlexW2484051058MaRDI QIDQ5897790
Paritosh K. Pandya, Shankara Narayanan Krishna
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11590156
Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items
Specification and optimal reactive synthesis of run-time enforcement shields, Model checking duration calculus: a practical approach, Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
Uses Software