Verification of orchestration systems using compositional partial order reduction
10.1007/978-3-642-24559-6_9
Saved in:
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2013
|
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/43174 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| 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 |