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