• Libros
  • Advances in Verification of Time Petri Nets and Timed Automata
Advances in Verification of Time Petri Nets and Timed Automata
Pólrola, Agata
Anglais
EAN
9783642069420
Éditorial
Année d'édition
2010
langage
Anglais
Collection
Studies in Computational Intelligence
Haute
235
Largeur
155
Otros lectores lo han calificado con
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres