scientific article
From MaRDI portal
Publication:2757803
zbMath0977.68527MaRDI QIDQ2757803
Publication date: 4 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Reachability problems and abstract state spaces for time Petri nets with stopwatches ⋮ Deciding properties of integral relational automata ⋮ Automatic synthesis of real time systems ⋮ Ensuring completeness of symbolic verification methods for infinite-state systems ⋮ Model checking of systems with many identical timed processes ⋮ Algorithmic analysis of programs with well quasi-ordered domains.
This page was built for publication:
