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

Podrobná bibliografie
Hlavní autor: Puppis, G
Médium: Journal article
Vydáno: 2010