An interpolation method for CLP traversal
10.1007/978-3-642-04244-7_37
محفوظ في:
المؤلفون الرئيسيون: | Jaffar, J., Santosa, A.E., Voicu, R. |
---|---|
مؤلفون آخرون: | COMPUTER SCIENCE |
التنسيق: | Conference or Workshop Item |
منشور في: |
2013
|
الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/41103 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Modeling systems in CLP
بواسطة: Jaffar, J., وآخرون
منشور في: (2013) -
A CLP method for compositional and intermittent predicate abstraction
بواسطة: Jaffar, J., وآخرون
منشور في: (2013) -
A CLP proof method for timed automata
بواسطة: Jaffar, J., وآخرون
منشور في: (2013) -
A CLP approach to modelling systems
بواسطة: Jaffar, J.
منشور في: (2013) -
Relative safety
بواسطة: Jaffar, J., وآخرون
منشور في: (2013)