{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:21:12Z","timestamp":1725560472762},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213147"},{"type":"electronic","value":"9783540247326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24732-6_19","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:14:47Z","timestamp":1280276087000},"page":"267-285","source":"Crossref","is-referenced-by-count":5,"title":["Analysis of Distributed Spin Applied to Industrial-Scale Models"],"prefix":"10.1007","author":[{"given":"Murali","family":"Rangarajan","sequence":"first","affiliation":[]},{"given":"Samar","family":"Dajani-Brown","sequence":"additional","affiliation":[]},{"given":"Kirk","family":"Schloegel","sequence":"additional","affiliation":[]},{"given":"Darren","family":"Cofer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Barnat, J., Brim, L., Stribrna, J.: Distributed LTL Model-Checking in SPIN, Technical Report FIMURS -2000-10, Faculty of Informatics, Masaryk University (2000)","DOI":"10.1007\/3-540-45139-0_13"},{"issue":"5","key":"19_CR2","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1109\/TC.1987.1676942","volume":"C-36","author":"M. Berger","year":"1987","unstructured":"Berger, M., Bokhari, S.: A Partitioning Strategy for Nonuniform Problems on Multiprocessors. IEEE Transactions on Computers\u00a0C-36(5), 570\u2013580 (1987)","journal-title":"IEEE Transactions on Computers"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Ciardo, G., German, R., Lindemann, C.: A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. Software Engineering\u00a020(7) (1994)","DOI":"10.1109\/32.297939"},{"key":"19_CR4","volume-title":"Proceedings of EMSOFT 2002: Second International Workshop on Embedded Software","author":"D. Cofer","year":"2002","unstructured":"Cofer, D., Rangarajan, M.: Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. In: Proceedings of EMSOFT 2002: Second International Workshop on Embedded Software, Springer, Heidelberg (2002)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-48234-2_20","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"C. Demartini","year":"1999","unstructured":"Demartini, C., Iosif, R., Sisto, R.: dSpin: A Dynamic Extension of SPIN. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, p. 261. Springer, Heidelberg (1999)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Lerda, F.: From States to Transitions: Improving Translation of LTL Formulae to Buchi Automata. In: Proc. of 22nd {IFIP} International Conference on Formal Techniques for Networked and Distributed Systems (November 2002)","DOI":"10.1007\/3-540-36135-9_20"},{"issue":"5","key":"19_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker Spin. IEEE Trans. on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"19_CR8","unstructured":"Honeywell: Design Description Document for the Digital Engine Operating System, Honeywell Specification no. PS7022409 (1999)"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_2","volume-title":"SPIN Model Checking and Software Verification","author":"R. Iosif","year":"2000","unstructured":"Iosif, R., Sisto, R.: Using Garbage Collection in Model Checking. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, Springer, Heidelberg (2000)"},{"key":"19_CR10","unstructured":"Karypis, G., Kumar, V.: METIS: A Software Package for Partitioning Unstructured Graphs, Partitioning Meshes, and Computing Fill-Reducing Orderings of Sparse Matrices, Version 4.0. Technical Report, Dept. of Computer Science, University of Minnesota (1998)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Karypis, G., Kumar, V.: Multilevel Algorithms for Multi-Constraint Graph Partitioning. In: Proceedings of Supercomputing 1998 (1998)","DOI":"10.1109\/SC.1998.10018"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-48234-2_3","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"F. Lerda","year":"1999","unstructured":"Lerda, F., Sisto, R.: Distributed-Memory Model Checking with Spin. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, p. 22. Springer, Heidelberg (1999)"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-45139-0_6","volume-title":"Model Checking Software","author":"F. Lerda","year":"2001","unstructured":"Lerda, F., Visser, W.: Addressing Dynamic Issues of Program Model Checking. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, p. 80. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24732-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:30:11Z","timestamp":1559331011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24732-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213147","9783540247326"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24732-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}