Checking timed automata for linear duration properties

DOI10.1007/BF02950405zbMath0961.68079OpenAlexW2252794479MaRDI QIDQ1587334

Dang Van Hung, Jian-hua Zhao

Publication date: 20 November 2000

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02950405

zbMATH Keywords

timed automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Remove irrelevant atomic formulas for timed automaton model checking ⋮ Verification of Linear Duration Invariants by Model Checking CTL Properties

This page was built for publication: Checking timed automata for linear duration properties