![Cover image for Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems Cover image for Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
Author:
Puppis, Gabriele. author.
ISBN:
9783642118814
Physical Description:
206p. 41 illus. online resource.
Series:
Lecture Notes in Computer Science, 5955
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 5955
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-11881-4Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 191827-2001 | ONLINE | Searching... | Searching... |