Differencing labeled transition systems

10.1007/978-3-642-24559-6_36

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Xing, Z., Sun, J., Liu, Y., Dong, J.S.
مؤلفون آخرون: TEMASEK LABORATORIES
التنسيق: Conference or Workshop Item
منشور في: 2013
الوصول للمادة أونلاين:http://scholarbank.nus.edu.sg/handle/10635/43172
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!