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

Bibliographische Detailangaben
1. Verfasser: Puppis, G
Format: Journal article
Veröffentlicht: 2010