scientific article
From MaRDI portal
Publication:2849846
zbMath1272.03141MaRDI QIDQ2849846
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.
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