Automata for branching and layered temporal structures : and investigation into regularities of infinite transition systemes /

Bibliographic Details

Main Author:	Puppis, Gabriele
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2010]
Series:	Lecture notes in computer science ; 5955. Lecture notes in computer science. Lecture notes in artificial intelligence. Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
Subjects:	Machine theory. Electronic books.
Online Access:	Connect to the full text of this electronic book