On characteristic formulae for Event-Recording Automata∗

Author： Nguena Timo Omer Landry   Reynier Pierre-Alain  

Publisher： Edp Sciences

E-ISSN： 1290-385x|47|1|69-96

ISSN： 0988-3754

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

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

Characteristic Formulae for Timed Automata

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

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

Edp Sciences

Access to resources Recommend Favorite

Climate-driven changes in water level: a decadal scale multi-proxy study recording the 8.2-ka event and ecosystem responses in Lake Sarup (Denmark)

By Bjerring Rikke  

Journal of Paleolimnology, Vol. 49, Iss. 2, 2013-02 ,pp. : 267-285

Springer Publishing Company

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

A Recording Atmometer

By  

Ecology, Vol. 13, Iss. 1, 1932-01 ,pp. : 100-101

John Wiley & Sons Inc

Access to resources Recommend Favorite

A Recording Atmometer

By  

Ecology, Vol. 9, Iss. 2, 1928-04 ,pp. : 123-125

John Wiley & Sons Inc

Access to resources Recommend Favorite