Characteristic Formulae for Timed Automata

Author： Aceto Luca   Ingólfsdóttir Anna   Pedersen Mikkel Lykke   Poulsen Jan  

Publisher： Edp Sciences

E-ISSN： 1290-385x|34|6|565-584

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.34, Iss.6, 2010-03, pp. : 565-584

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

On characteristic formulae for Event-Recording Automata∗

By Nguena Timo Omer Landry   Reynier Pierre-Alain  

RAIRO - Theoretical Informatics and Applications, Vol. 47, Iss. 1, 2013-02 ,pp. : 69-96

Edp Sciences

Access to resources Recommend Favorite

Tree Automata and Automata on Linear Orderings

By Bruyère Véronique   Carton Olivier   Sénizergues Géraud  

RAIRO - Theoretical Informatics and Applications, Vol. 43, Iss. 2, 2009-04 ,pp. : 321-338

Edp Sciences

Access to resources Recommend Favorite

Prediction formulae: What are they worth?

By Bockhoff Michael  

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 1995, Iss. 1, 1995-07 ,pp. : 1403-1406

Institute of Noise Control Engineering

Access to resources Recommend Favorite

Different assumptions - Different reverberation formulae

By Stephenson Uwe M.  

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 2012, Iss. 4, 2012-08 ,pp. : 7646-7657

Institute of Noise Control Engineering

Access to resources Recommend Favorite

A graphical representation of relational formulae with complementation∗

By Cantone Domenico   Formisano Andrea   Asmundo Marianna Nicolosi   Omodeo Eugenio Giovanni  

RAIRO - Theoretical Informatics and Applications, Vol. 46, Iss. 2, 2012-04 ,pp. : 261-289

Edp Sciences

Access to resources Recommend Favorite