Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems

Author
Gabriele Puppis (auth.)
Publisher
Springer-Verlag Berlin Heidelberg
Language
English
Edition
1
Year
2010
Page
206
ISBN
9783642118807,9783642118814
File Type
pdf
File Size
2.6 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book