scientific article; zbMATH DE number 1512618
From MaRDI portal
Publication:4508303
zbMath0961.68090MaRDI QIDQ4508303
François Laroussinie, Philippe Schnoebelen
Publication date: 3 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
State explosion in almost-sure probabilistic reachability ⋮ Better abstractions for timed automata ⋮ Hardness of preorder checking for basic formalisms ⋮ Characteristic Formulae for Timed Automata ⋮ A parametric analysis of the state-explosion problem in model checking ⋮ On timed alternating simulation for concurrent timed games ⋮ EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system ⋮ Hardness of equivalence checking for composed finite-state systems ⋮ Is your model checker on time? On the complexity of model checking for timed modal logics ⋮ Keeping Secrets in Resource Aware Components
This page was built for publication: