scientific article

zbMath1272.03141MaRDI QIDQ2849846

Michael Huth

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104052429

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Hybrid logic with the difference modality for generalisations of graphs ⋮ On model checking multiple hybrid views ⋮ On finite-state approximants for probabilistic computation tree logic