Characteristic Formulae for Timed Automata

Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen and Jan Poulsen
RAIRO-Theor. Inf. Appl., 34 6 (2000) 565-584
DOI: 10.1051/ita:2000131

This search tool will display articles in Google Scholar database by authors of the selected article:

Select your author(s):


Search method: