scientific article; zbMATH DE number 5492530
From MaRDI portal
zbMath1168.68434MaRDI QIDQ5503431
Aletta Nylén, Pritha Mahata, Johann Deneux, Parosh Aziz Abdulla
Publication date: 15 January 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model checkingreachability analysistimed Petri netsconcurrent real-time systemsdownward closed languagesregion generators
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)
Related Items
Uses Software