Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

More Information

Format: Paperback
Pages: 206
Edition: 1st Edition.
Publisher: Springer
Published: 18 Feb 2010
ISBN 10: 3642118801
ISBN 13: 9783642118807