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

Opis bibliograficzny
1. autor: Puppis, G
Format: Journal article
Wydane: 2010