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

Detaylı Bibliyografya
Yazar: Puppis, G
Materyal Türü: Journal article
Baskı/Yayın Bilgisi: 2010