On characteristic formulae for Event-Recording Automata

DOI10.1051/ita/2012029zbMath1396.03029OpenAlexW2172041191MaRDI QIDQ2842241

Pierre-Alain Reynier, Omer Landry Nguena Timo

Publication date: 13 August 2013

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1051/ita/2012029

zbMATH Keywords

timed automatamodel checkingtimed bisimulationtimed mu-calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Uses Software

• CMC

This page was built for publication: On characteristic formulae for Event-Recording Automata