Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems. [elektronicky zdroj]
Autor: | Puppis, Gabriele |
---|---|
Jazyk: | angličtina |
Informace o vydání: | Berlin, Heidelberg : Springer Berlin / Heidelberg, 2010. |
Předmět: | |
Druh dokumentu: | Online; Non-fiction; Electronic document |
Abstrakt: | Summary: LNAI 5955. |
Databáze: | Vybrané kolekce e-knih |
Externí odkaz: |