Recursive abstractions for parameterized systems
10.1007/978-3-642-05089-3_6
Saved in:
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2013
|
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/41105 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-41105 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-411052024-11-14T00:24:17Z Recursive abstractions for parameterized systems Jaffar, J. Santosa, A.E. COMPUTER SCIENCE 10.1007/978-3-642-05089-3_6 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5850 LNCS 72-88 2013-07-04T08:19:44Z 2013-07-04T08:19:44Z 2009 Conference Paper Jaffar, J.,Santosa, A.E. (2009). Recursive abstractions for parameterized systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5850 LNCS : 72-88. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-05089-3_6" target="_blank">https://doi.org/10.1007/978-3-642-05089-3_6</a> 3642050883 03029743 http://scholarbank.nus.edu.sg/handle/10635/41105 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-05089-3_6 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Jaffar, J. Santosa, A.E. |
| format |
Conference or Workshop Item |
| author |
Jaffar, J. Santosa, A.E. |
| spellingShingle |
Jaffar, J. Santosa, A.E. Recursive abstractions for parameterized systems |
| author_sort |
Jaffar, J. |
| title |
Recursive abstractions for parameterized systems |
| title_short |
Recursive abstractions for parameterized systems |
| title_full |
Recursive abstractions for parameterized systems |
| title_fullStr |
Recursive abstractions for parameterized systems |
| title_full_unstemmed |
Recursive abstractions for parameterized systems |
| title_sort |
recursive abstractions for parameterized systems |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/41105 |
| _version_ |
1821223462485622784 |