Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

عرض إصدارات أخرى (1)
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Hague, M, Ong, C
التنسيق: Journal article
منشور في: 2008
Search Result 1
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems حسب Hague, M, Ong, C

منشور في 2007
Conference item
عرض كل الإصدارات (2)

مواد مشابهة