scientific article
From MaRDI portal
Publication:3601411
zbMath1154.68063MaRDI QIDQ3601411
Joël Ouaknine, Johann Deneux, Karin Quaas, Parosh Aziz Abdulla, James Worrell
Publication date: 10 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Timed hyperproperties ⋮ Exact Incremental Analysis of Timed Automata with an SMT-Solver ⋮ Equivalence checking and intersection of deterministic timed finite state machines ⋮ Design and verification of pipelined circuits with timed Petri nets ⋮ The compound interest in relaxing punctuality ⋮ Timed Petri nets with reset for pipelined synchronous circuit design
Uses Software
This page was built for publication:
