Removing All Silent Transitions from Timed Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Removing All Silent Transitions from Timed Automata

Résumé

no abstract

Dates et versions

hal-01699953 , version 1 (02-02-2018)

Identifiants

Citer

Catalin Dima, Ruggero Lanotte. Removing All Silent Transitions from Timed Automata. Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, 2009, Unknown, Unknown Region. pp.118--132, ⟨10.1007/978-3-642-04368-0_11⟩. ⟨hal-01699953⟩

Collections

CNRS LACL UPEC
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More