Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science, Band 5955)
von
Gabriele Puppis
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-11880-7
ISBN-10: 3-642-11880-1
Springer
· 2010
