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

Detalhes bibliográficos
Autor principal: Puppis, G
Formato: Journal article
Publicado em: 2010