Automata for branching and layered temporal structures : An investigation into regularities of infinite transition systems /

Detalles Bibliográficos
Formato: Libro
Publicado: c2010.
Acceso en línea:Ver documento en línea
Descripción
ISBN:9783642118814