RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

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

Published online: 15 April 2002

DOI: 10.1051/ita:2000131

Luca Aceto

Anna Ingólfsdóttir

Mikkel Lykke Pedersen

Jan Poulsen

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)