Verification of Petri Nets with Read Arcs

Verification of Petri Nets with Read Arcs

عرض إصدارات أخرى (1)
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Rodríguez, C, Schwoon, S
التنسيق: Report
منشور في: LSV‚ ENS de Cachan‚ France 2012
Search Result 1
Verification of Petri Nets with Read Arcs

Verification of Petri Nets with Read Arcs حسب Rodríguez, C, Schwoon, S

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

مواد مشابهة