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

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Puppis, G
التنسيق: Journal article
منشور في: 2010