Automata for Branching and Layered Temporal Structures
Subtitle: An Investigation into Regularities of Infinite Transition Systems
By: by Gabriele Puppis
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5955
Publisher: Springer Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642118807; 9783642118814
Subjects: Logic design; Software engineering; Computer science; Artificial intelligence; Computer software