Login / Signup

Characterization of the Expressive Power of Silent Transitions in Timed Automata.

Béatrice BérardAntoine PetitVolker DiekertPaul Gastin
Published in: Fundam. Informaticae (1998)
Keyphrases