Incremental Language Inclusion Checking for Networks of Timed Automata

DOI10.1007/978-3-642-40229-6_11zbMath1390.68432OpenAlexW46459026MaRDI QIDQ2842668

Dejan Ničković, Loredana Tec, Willibald Krenn

Publication date: 16 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40229-6_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Incremental Language Inclusion Checking for Networks of Timed Automata