Computing Reachability Relations in Timed Automata

Abstract : no abstract
Type de document :
Communication dans un congrès
17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, 2002, Unknown, Unknown Region. IEEE Computer Society, pp.177, 2002, 〈10.1109/LICS.2002.1029827〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699968
Contributeur : Catalin Dima <>
Soumis le : vendredi 2 février 2018 - 22:53:12
Dernière modification le : samedi 3 février 2018 - 01:11:57

Identifiants

Collections

Citation

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. IEEE Computer Society, pp.177, 2002, 〈10.1109/LICS.2002.1029827〉. 〈hal-01699968〉

Partager

Métriques

Consultations de la notice

25