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

書誌詳細
第一著者: Puppis, G
フォーマット: Journal article
出版事項: 2010