{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:12:51Z","timestamp":1742386371845},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298592"},{"type":"electronic","value":"9783642298608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29860-8_29","type":"book-chapter","created":{"date-parts":[[2012,5,11]],"date-time":"2012-05-11T09:38:03Z","timestamp":1336729083000},"page":"370-374","source":"Crossref","is-referenced-by-count":16,"title":["Elarva: A Monitoring Tool for Erlang"],"prefix":"10.1007","author":[{"given":"Christian","family":"Colombo","sequence":"first","affiliation":[]},{"given":"Adrian","family":"Francalanza","sequence":"additional","affiliation":[]},{"given":"Rudolph","family":"Gatt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"Armstrong, J.: Programming Erlang. The Pragmatic Bookshelf (2007)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Larva \u2014 Safer Monitoring of Real-Time Java Programs (tool paper). In: SEFM, pp. 33\u201337. IEEE (November 2009)","DOI":"10.1109\/SEFM.2009.13"},{"key":"29_CR3","unstructured":"Erd\u00f6di, A.: Exago: Property monitoring via log file analysis. Presented at the Erlang User Group Meeting, London (2010)"},{"key":"29_CR4","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI, pp. 235\u2013245. Morgan Kaufmann (1973)"},{"key":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Auletta, V. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29860-8_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:19:07Z","timestamp":1620112747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29860-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298592","9783642298608"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29860-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}