Verification of orchestration systems using compositional partial order reduction
10.1007/978-3-642-24559-6_9
Saved in:
| Main Authors: | , , , |
|---|---|
| 其他作者: | |
| 格式: | Conference or Workshop Item |
| 出版: |
2013
|
| 在線閱讀: | http://scholarbank.nus.edu.sg/handle/10635/43174 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| id |
sg-nus-scholar.10635-43174 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-431742024-11-08T17:54:33Z Verification of orchestration systems using compositional partial order reduction Tan, T.H. Liu, Y. Sun, J. Dong, J.S. TEMASEK LABORATORIES COMPUTER SCIENCE 10.1007/978-3-642-24559-6_9 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6991 LNCS 98-114 2013-07-23T09:26:59Z 2013-07-23T09:26:59Z 2011 Conference Paper Tan, T.H.,Liu, Y.,Sun, J.,Dong, J.S. (2011). Verification of orchestration systems using compositional partial order reduction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6991 LNCS : 98-114. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-24559-6_9" target="_blank">https://doi.org/10.1007/978-3-642-24559-6_9</a> 9783642245589 03029743 http://scholarbank.nus.edu.sg/handle/10635/43174 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_9 |
| author2 |
TEMASEK LABORATORIES |
| author_facet |
TEMASEK LABORATORIES Tan, T.H. Liu, Y. Sun, J. Dong, J.S. |
| format |
Conference or Workshop Item |
| author |
Tan, T.H. Liu, Y. Sun, J. Dong, J.S. |
| spellingShingle |
Tan, T.H. Liu, Y. Sun, J. Dong, J.S. Verification of orchestration systems using compositional partial order reduction |
| author_sort |
Tan, T.H. |
| title |
Verification of orchestration systems using compositional partial order reduction |
| title_short |
Verification of orchestration systems using compositional partial order reduction |
| title_full |
Verification of orchestration systems using compositional partial order reduction |
| title_fullStr |
Verification of orchestration systems using compositional partial order reduction |
| title_full_unstemmed |
Verification of orchestration systems using compositional partial order reduction |
| title_sort |
verification of orchestration systems using compositional partial order reduction |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/43174 |
| _version_ |
1821221510014042112 |