{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:19:53Z","timestamp":1725495593460},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540758662"},{"type":"electronic","value":"9783540758679"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-75867-9_68","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T22:34:40Z","timestamp":1195166080000},"page":"539-546","source":"Crossref","is-referenced-by-count":3,"title":["Model Checking a Video\u2013on\u2013Demand Server Using McErlang"],"prefix":"10.1007","author":[{"given":"Lars-\u00c5ke","family":"Fredlund","sequence":"first","affiliation":[]},{"given":"Juan Jos\u00e9","family":"S\u00e1nchez Penas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"68_CR1","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"68_CR2","doi-asserted-by":"crossref","unstructured":"Arts, T., S\u00e1nchez, J.J.: Global scheduler properties derived from local restrictions. In: Proceedings of the ACM Sigplan Erlang Workshop, Pittsburg (2002)","DOI":"10.1145\/592849.592856"},{"key":"68_CR3","first-page":"10","volume":"1","author":"S. Blau","year":"1998","unstructured":"Blau, S., Rooth, J.: AXD 301 - a new generation ATM switching system. Ericsson Review\u00a01, 10\u201317 (1998)","journal-title":"Ericsson Review"},{"key":"68_CR4","doi-asserted-by":"crossref","unstructured":"Corbett, J., Dwyer, M., Hatcliff, L.: Bandera: A source-level interface for model checking Java programs. In: ICSE 2000, Limerick, Ireland (2000)","DOI":"10.1145\/337180.337625"},{"key":"68_CR5","doi-asserted-by":"crossref","unstructured":"Fredlund, L., Benac Earle, C.: Model checking Erlang programs: The functional approach. In: ACM Sigplan International Erlang Workshop, Portland, USA (2006)","DOI":"10.1145\/1159789.1159793"},{"key":"68_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45614-7_23","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Hermanns, H.: On combining functional verification and performance evaluation using CADP. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, Springer, Heidelberg (2002)"},{"issue":"3","key":"68_CR7","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1017\/S0956796805005502","volume":"15","author":"V. Gul\u00edas","year":"2005","unstructured":"Gul\u00edas, V., Barreiro, M., Freire, J.L.: VoDKA: Developing a Video-on-Demand server using distributed functional programming. Journal of Functional Programming\u00a015(3), 403\u2013430 (2005)","journal-title":"Journal of Functional Programming"},{"issue":"4","key":"68_CR8","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"Havelund, K., Pressburger, T.: Model checking java programs using java PathFinder. Software Tools for Technology Transfer\u00a02(4), 366\u2013381 (2000)","journal-title":"Software Tools for Technology Transfer"},{"key":"68_CR9","volume-title":"Design and validation of computer protocols","author":"G. Holzmann","year":"1991","unstructured":"Holzmann, G.: Design and validation of computer protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"68_CR10","unstructured":"S\u00e1nchez, J.J.: Penas. From software architecture to formal verification of a distributed system. PhD thesis, Universidade da Coru\u00f1a, Spain (2006)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75867-9_68","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:57:01Z","timestamp":1558263421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75867-9_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540758662","9783540758679"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75867-9_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}