scientific article
From MaRDI portal
Publication:2849845
zbMath1272.68269MaRDI QIDQ2849845
Alberto Lluch Lafuente, Ugo Montanari
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104052417
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) Semirings (16Y60) Temporal logic (03B44)
Related Items (3)
Multi-valued Verification of Strategic Ability ⋮ Model checking discounted temporal properties ⋮ Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
This page was built for publication:
