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

Xehetasun bibliografikoak
Egile nagusia: Puppis, G
Formatua: Journal article
Argitaratua: 2010