{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:39Z","timestamp":1725558999268},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540258629"},{"type":"electronic","value":"9783540320456"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11424857_48","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T23:49:45Z","timestamp":1279064985000},"page":"453-462","source":"Crossref","is-referenced-by-count":0,"title":["Universal Properties Verification of Parameterized Parallel Systems"],"prefix":"10.1007","author":[{"given":"Cecilia E.","family":"Nugraheni","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-46419-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Baukus","year":"2000","unstructured":"Baukus, K., Bensalem, S., Lakhnech, Y., Stahl, K.: Abstracting WS1S Systems to Verify Parameterized Networks. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 188\u2013203. Springer, Heidelberg (2000)"},{"key":"48_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/3-540-46002-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Bozzano","year":"2002","unstructured":"Bozzano, M., Delzanno, G.: Beyond Parameterized Verification. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 221\u2013235. Springer, Heidelberg (2002)"},{"key":"48_CR3","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J.R. B\u00fcchi","year":"1960","unstructured":"B\u00fcchi, J.R.: Weak second-order arithmatic and finite automata. Z. Math. Logik Grundl. Math.\u00a06, 66\u201392 (1960)","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"48_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/3-540-40911-4_22","volume-title":"Integrated Formal Methods","author":"D. Cansell","year":"2000","unstructured":"Cansell, D., M\u00e9ry, D., Merz, S.: Predicate diagrams for the verification of reactive systems. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, p. 380. Springer, Heidelberg (2000)"},{"key":"48_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/BFb0028766","volume-title":"Computer Aided Verification","author":"E.A. Emerson","year":"1998","unstructured":"Emerson, E.A., Namjoshi, K.S.: Verification of a parameterized bus arbitration protocol. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 452\u2013463. Springer, Heidelberg (1998)"},{"issue":"5","key":"48_CR6","first-page":"1512","volume":"16","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The SPIN model checker. IEEE Trans. on software engineering\u00a016(5), 1512\u20131542 (1997)","journal-title":"IEEE Trans. on software engineering"},{"issue":"3","key":"48_CR7","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"48_CR8","first-page":"167","volume-title":"Specification and Validation Methods","author":"Z. Manna","year":"1994","unstructured":"Manna, Z., Pnueli, A.: Verification of parameterized programs. In: Borger, E. (ed.) Specification and Validation Methods, pp. 167\u2013230. Oxford University Press, Oxford (1994)"},{"key":"48_CR9","unstructured":"Merz, S.: Logic-based analysis of reactive systems: hiding, composition and abstraction. Habilitationsschrift. Institut f\u00fcr Informatik. Ludwig-Maximillians-Universit\u00e4t, Munich Germany (December 2001)"},{"key":"48_CR10","unstructured":"Nugraheni, C.E.: Predicate diagrams as basis for the verification of reactive systems. PhD Thesis. Institut f\u00fcr Informatik. Ludwig-Maximillians-Universit\u00e4t, Munich Germany (February 2004)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2005"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11424857_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:09:20Z","timestamp":1558296560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11424857_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540258629","9783540320456"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11424857_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}