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

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Puppis, G
Формат: Journal article
Хэвлэсэн: 2010