Cargando…

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

LNAI 5955.

Detalles Bibliográficos
Autor principal: Puppis, Gabriele
Lenguaje:eng
Publicado: Springer 2010
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2758102