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

Bibliographic Details
Main Author: Puppis, G
Format: Journal article
Published: 2010