scientific article; zbMATH DE number 2242593
From MaRDI portal
Publication:5714446
zbMath1087.68575MaRDI QIDQ5714446
Publication date: 2 January 2006
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2215/22150298.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Verified Certification of Reachability Checking for Timed Automata ⋮ Comparing cubes of typed and type assignment systems ⋮ A Formalized Theory for Verifying Stability and Convergence of Automata in PVS ⋮ On the semantics of polychronous polytimed specifications ⋮ Formalized Timed Automata
Uses Software
This page was built for publication:
