author = { Puppis, Gabriele },

title = { Automata for branching and layered temporal structures an investigation into regularities of infinite transition systems },

publisher = {Springer},

isbn = {3642118801},

isbn = {9783642118807},

keywords = { Machine theory , Automatentheorie , Mathematische Logik , Verzweigungsprozess , Baumautomat , Büchi-Automat , Zeitbehafteter Automat },

year = {2010},

abstract = {Literaturverz. S [191] - 197},

booktitle = {Lecture notes in computer science ; 5955 ; Lecture notes in artificial intelligence},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }