scientific article; zbMATH DE number 1956642
From MaRDI portal
Publication:4418006
zbMath1032.68096MaRDI QIDQ4418006
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2623/26230375.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Time-Bounded Verification ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ On parametric timed automata and one-counter machines ⋮ Network invariants for real-time systems ⋮ Detectability of labeled weighted automata over monoids ⋮ Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language
This page was built for publication:
