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

Sábháilte in:
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Gabriele Puppis (autor)
Formáid: LEABHAR
Teanga:Béarla
Foilsithe / Cruthaithe: Berlín, Alemania : Springer, 2010, c2010
Sraith:(Lecture Notes in Computer Science)
Rochtain ar líne:Ver documento en línea
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!