Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems

Detalles Bibliográficos
Autor principal: Puppis, G
Formato: Journal article
Publicado: 2010