{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:02Z","timestamp":1725550862264},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008989"},{"type":"electronic","value":"9783540365778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_31","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:04Z","timestamp":1269897124000},"page":"431-436","source":"Crossref","is-referenced-by-count":4,"title":["The Integrated CWB-NC\/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Dezhuang","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene W.","family":"Stark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"31_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1007\/3-540-63165-8_192","volume-title":"ICALP\u201997","author":"M. Bernardo","year":"1997","unstructured":"M. Bernardo. An algebra-based method to associate rewards with EMPAterms. In ICALP\u201997, vol. 1256 of LNCS, pages 358\u2013368, Jul. 1997."},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"M. Bernardo, R. Cleaveland, S. Sims, and W. Stewart. TwoTowers: A tool integrating functional and performance analysis of concurrent systems. In FORTE XI\/PSTV XVIII\u2019 98, pages 457\u2013467, Nov. 1998.","DOI":"10.1007\/978-0-387-35394-4_28"},{"key":"31_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-60630-0_8","volume-title":"TACAS\u201995","author":"R. Cleaveland","year":"1995","unstructured":"R. Cleaveland, E. Madelaine, and S. Sims. A front-end generator for verification tools. In TACAS\u201995, vol. 1019 of LNCS, pages 153\u2013173, May 1995."},{"issue":"1","key":"31_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics-based tool for the verification of finite-state systems. ACM TOPLAS, 15(1):36\u201372, Jan. 1993.","journal-title":"ACM TOPLAS"},{"key":"31_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/3-540-61474-5_87","volume-title":"Computer Aided Verification (CAV\u2019 96)","author":"R. Cleaveland","year":"1996","unstructured":"R. Cleaveland and S. Sims. The NCSU ConcurrencyWorkbench. In Computer Aided Verification (CAV\u2019 96), vol. 1102 of LNCS, pages 394\u2013397, Jul. 1996."},{"issue":"1","key":"31_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0167-6423(01)00033-8","volume":"42","author":"R. Cleaveland","year":"2002","unstructured":"R. Cleaveland and S. Sims. Generic tools for verifying concurrent systems. Science of Computer Programming, 42(1):39\u201347, Jan. 2002.","journal-title":"Science of Computer Programming"},{"key":"31_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-45614-7_23","volume-title":"FME","author":"H. Garavel","year":"2002","unstructured":"H. Garavel and H. Hermanns. On combining functional verification and performance evaluation using CADP. In FME, vol. 2391 of LNCS, pages 410\u2013429, 2002."},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"N. Lynch and M. Tuttle. Hierarchical correctness proofs for distributed algorithms. In 6th ACM PODC, pages 137\u2013151, 1987.","DOI":"10.1145\/41840.41852"},{"key":"31_CR9","unstructured":"E. Stark and G. Pemmasani. Implementation of a compositional performance analysis algorithm for probabilistic I\/O automata. In 7th PAPM, pages 3\u201324, 1999."},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"E. Stark and S. Smolka. Compositional analysis of expected delays in networks of probabilistic I\/O automata. In Proc. 13th LICS, pages 466\u2013477, Jun. 1998.","DOI":"10.1109\/LICS.1998.705680"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"E. Stark, S. Smolka, and R. Cleaveland. Aprocess-algebraic language for PIOA. Unpublished draft, 2003.","DOI":"10.1007\/978-3-540-45187-7_13"},{"key":"31_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/3-540-44618-4_3","volume-title":"CONCUR 2000","author":"E. Stark","year":"2000","unstructured":"E. Stark. Compositional performance analysis using probabilistic I\/O automata. In CONCUR 2000, vol. 1877 of LNCS, pages 25\u201328, Aug. 2000."},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"W. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Presss, 1994.","DOI":"10.1515\/9780691223384"},{"issue":"1-2","key":"31_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","volume":"176","author":"S. Wu","year":"1997","unstructured":"S. Wu, S. Smolka, and E. Stark. Composition and behaviors of probabilistic I\/O automata. Theoretical Computer Science, 176(1-2):1\u201338, Apr. 1997.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36577-X_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T09:46:44Z","timestamp":1685526404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}