Computing Reachability Relations in Timed Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Computing Reachability Relations in Timed Automata

Résumé

no abstract
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Catalin Dima. Computing Reachability Relations in Timed Automata. 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, 2002, Unknown, Unknown Region. pp.177, ⟨10.1109/LICS.2002.1029827⟩. ⟨hal-01699968⟩

Collections

CNRS LACL UPEC
29 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More