On the Relationship between Reachability Problems in Timed and Counter Automata

On the Relationship between Reachability Problems in Timed and Counter Automata

عرض إصدارات أخرى (1)
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Haase, C, Ouaknine, J, Worrell, J
التنسيق: Journal article
منشور في: 2012
عرض كل الإصدارات (2)

مواد مشابهة