Differencing labeled transition systems
10.1007/978-3-642-24559-6_36
محفوظ في:
| المؤلفون الرئيسيون: | , , , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Conference or Workshop Item |
| منشور في: |
2013
|
| الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/43172 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| id |
sg-nus-scholar.10635-43172 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-431722024-11-14T07:21:02Z Differencing labeled transition systems Xing, Z. Sun, J. Liu, Y. Dong, J.S. TEMASEK LABORATORIES COMPUTER SCIENCE 10.1007/978-3-642-24559-6_36 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6991 LNCS 537-552 2013-07-23T09:26:56Z 2013-07-23T09:26:56Z 2011 Conference Paper Xing, Z.,Sun, J.,Liu, Y.,Dong, J.S. (2011). Differencing labeled transition systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6991 LNCS : 537-552. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-24559-6_36" target="_blank">https://doi.org/10.1007/978-3-642-24559-6_36</a> 9783642245589 03029743 http://scholarbank.nus.edu.sg/handle/10635/43172 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| description |
10.1007/978-3-642-24559-6_36 |
| author2 |
TEMASEK LABORATORIES |
| author_facet |
TEMASEK LABORATORIES Xing, Z. Sun, J. Liu, Y. Dong, J.S. |
| format |
Conference or Workshop Item |
| author |
Xing, Z. Sun, J. Liu, Y. Dong, J.S. |
| spellingShingle |
Xing, Z. Sun, J. Liu, Y. Dong, J.S. Differencing labeled transition systems |
| author_sort |
Xing, Z. |
| title |
Differencing labeled transition systems |
| title_short |
Differencing labeled transition systems |
| title_full |
Differencing labeled transition systems |
| title_fullStr |
Differencing labeled transition systems |
| title_full_unstemmed |
Differencing labeled transition systems |
| title_sort |
differencing labeled transition systems |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/43172 |
| _version_ |
1821205244609036288 |