{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:25:27Z","timestamp":1725560727233},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281955"},{"type":"electronic","value":"9783540318996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11537328_21","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T20:02:25Z","timestamp":1279828945000},"page":"266-271","source":"Crossref","is-referenced-by-count":3,"title":["Etch: An Enhanced Type Checking Tool for Promela"],"prefix":"10.1007","author":[{"given":"Alastair F.","family":"Donaldson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon J.","family":"Gay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","volume-title":"Compilers\u2014Principles, Techniques and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers\u2014Principles, Techniques and Tools. Addison-Wesley, Reading (1986)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45139-0_9","volume-title":"Model Checking Software","author":"M. Calder","year":"2001","unstructured":"Calder, M., Miller, A.: Using SPIN for Feature Interaction Analysis - a Case Study. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 143\u2013162. Springer, Heidelberg (2001)"},{"unstructured":"Donaldson, A.F., Gay, S.J.: Website, \n                    \n                      http:\/\/www.dcs.gla.ac.uk\/people\/personal\/ally\/etch\/","key":"21_CR3"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/11526841_32","volume-title":"FM 2005: Formal Methods","author":"A.F. Donaldson","year":"2005","unstructured":"Donaldson, A.F., Miller, A.: Automatic Symmetry Detection for Model Checking Using Computational Group Theory. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 481\u2013496. Springer, Heidelberg (2005)"},{"key":"21_CR5","first-page":"140","volume-title":"26th Technology of Object-Oriented Languages and Systems","author":"E. Gagnon","year":"1998","unstructured":"Gagnon, E., Hendren, L.J.: SableCC, an object-oriented compiler framework. In: 26th Technology of Object-Oriented Languages and Systems, pp. 140\u2013154. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"21_CR6","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-24732-6_16","volume-title":"Model Checking Software","author":"S. Leue","year":"2004","unstructured":"Leue, S., Mayr, R., Wei, W.: A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 216\u2013233. Springer, Heidelberg (2004)"},{"unstructured":"Linz, P.: An Introduction to Formal Languages and Automata. Jones and Bartlett (1986)","key":"21_CR8"},{"key":"21_CR9","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"21_CR10","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11537328_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:12:34Z","timestamp":1605643954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11537328_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281955","9783540318996"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11537328_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}