scientific article; zbMATH DE number 5499354

zbMath1158.68020MaRDI QIDQ5506370

Agata Janowska, Dobiesław Wróblewski, Paweł Janowski

Publication date: 28 January 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata ⋮ Verification of Timed-Arc Petri Nets

Uses Software

• Uppaal2k
• VerICS
• HyTech

This page was built for publication: