Optimal task automaton decomposabilization for a class of global specifications

10.1109/ICCA.2010.5524201

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Karimadini, M., Lin, H.
مؤلفون آخرون: ELECTRICAL & COMPUTER ENGINEERING
التنسيق: Conference or Workshop Item
منشور في: 2014
الوصول للمادة أونلاين:http://scholarbank.nus.edu.sg/handle/10635/71307
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!