scientific article
From MaRDI portal
Publication:2762788
zbMath0981.68715MaRDI QIDQ2762788
Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer
Publication date: 9 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Presburger liveness verification of discrete timed automata. ⋮ Eliminating the storage tape in reachability constructions. ⋮ Generalized discrete timed automata: Decidable approximations for safety verification. ⋮ Pushdown timed automata: A binary reachability characterization and safety verification.
Uses Software
This page was built for publication:
