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

Bibliografische gegevens
Hoofdauteur: Puppis, G
Formaat: Journal article
Gepubliceerd in: 2010