Automata for branching and layered temporal structures an investigation into regularities of infinite transition systems /
Saved in:
Main Author: | Puppis, Gabriele (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer
2010.
|
Series: | Lecture Notes in Computer Science,
5955 |
Subjects: | |
Online Access: | Click here to view the full text content |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Language and automata theory and applications 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings /
Published: (2010) -
Language and Automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /
Published: (2013) -
Language and automata theory and applications : 6th International conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings /
Published: (2012) -
Graph structures for knowledge representation and reasoning : Second international workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /
Published: (2012) -
Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Published: (2012)