scientific article; zbMATH DE number 2087436

zbMath1077.68691MaRDI QIDQ4738231

François Laroussinie, Nicolas Markey, Philippe Schnoebelen

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2303/23030264.htm

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Efficient timed model checking for discrete-time systems ⋮ Modeling and querying biomolecular interaction networks ⋮ Path Checking for MTL and TPTL over Data Words ⋮ On the expressivity and complexity of quantitative branching-time temporal logics ⋮ Parameterized model checking of weighted networks ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

This page was built for publication: