Book Volume 5955 2010

Automata for Branching and Layered Temporal Structures

An Investigation into Regularities of Infinite Transition Systems

Authors:

ISBN: 978-3-642-11880-7 (Print) 978-3-642-11881-4 (Online)