scientific article; zbMATH DE number 1799517

MaRDI QIDQ3146274zbMATH OpenFDO

Authors Piotr Dembinski, Wojciech Penczek, Agata Półrola

Publication date 11 September 2002

zbMATH Keywords

state spacestimed automata

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Analysis of timed systems using time-abstracting bisimulations
• Verification of timed automata via satisfiability checking
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 2086795
• scientific article; zbMATH DE number 2064231

Cited in

(6)

• scientific article; zbMATH DE number 2080038 (Why is no real title available?)
• scientific article; zbMATH DE number 2086795 (Why is no real title available?)
• Efficient scaling-invariant checking of timed bisimulation
• An automatic technique for checking the simulation of timed systems
• Formal Modeling and Analysis of Timed Systems
• Analysis of timed systems using time-abstracting bisimulations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3146274)