Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems /

Salvato in:
Dettagli Bibliografici
Autore principale: Gabriele Puppis (autor)
Natura: Libro
Lingua:inglese
Pubblicazione: Berlín, Alemania : Springer, 2010, c2010
Serie:(Lecture Notes in Computer Science)
Accesso online:Ver documento en línea
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi: Automata for Branching and Layered Temporal Structures :