{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:23:37Z","timestamp":1770290617791,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642314230","type":"print"},{"value":"9783642314247","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31424-7_47","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T14:26:49Z","timestamp":1340288809000},"page":"665-671","source":"Crossref","is-referenced-by-count":12,"title":["OpenNWA: A Nested-Word Automaton Library"],"prefix":"10.1007","author":[{"given":"Evan","family":"Driscoll","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aditya","family":"Thakur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Reps","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"47_CR1","unstructured":"Alur, R.: Nested words (2011), \n                    \n                      http:\/\/www.cis.upenn.edu\/~alur\/nw.html"},{"key":"47_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11779148_1","volume-title":"Developments in Language Theory","author":"R. Alur","year":"2006","unstructured":"Alur, R., Madhusudan, P.: Adding Nesting Structure to Words. In: Ibarra, O.H., Dang, Z. (eds.) DLT 2006. LNCS, vol.\u00a04036, pp. 1\u201313. Springer, Heidelberg (2006)"},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Madhusudan, P.: Adding nesting structure to words. JACM\u00a056(3) (May 2009)","DOI":"10.1145\/1516512.1516518"},{"key":"47_CR4","doi-asserted-by":"crossref","unstructured":"Driscoll, E., Burton, A., Reps, T.: Checking conformance of a producer and a consumer. In: FSE (2011)","DOI":"10.1145\/2025113.2025132"},{"key":"47_CR5","unstructured":"Driscoll, E., Thakur, A., Burton, A., Reps, T.: WALi: Nested-word automata. TR-1675R, Comp. Sci. Dept., Univ. of Wisconsin, Madison, WI (September 2011)"},{"key":"47_CR6","series-title":"LNCS","first-page":"548","volume-title":"CAV 2012","author":"M. Fredrikson","year":"2012","unstructured":"Fredrikson, M., Joiner, R., Jha, S., Reps, T., Porras, P., Sa\u00efdi, H., Yegneswaran, V.: Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol.\u00a07358, pp. 548\u2013563. Springer, Heidelberg (2012)"},{"key":"47_CR7","unstructured":"Kidd, N., Lal, A., Reps, T.: WALi: The Weighted Automaton Library (2007), \n                    \n                      http:\/\/www.cs.wisc.edu\/wpis\/wpds\/download.php"},{"key":"47_CR8","unstructured":"Madhusudan, P.: Visibly pushdown automata \u2013 automata on nested words (2009), \n                    \n                      http:\/\/www.cs.uiuc.edu\/~madhu\/vpa\/"},{"key":"47_CR9","unstructured":"Nguyen, H.: Visibly pushdown automata library (2006), \n                    \n                      http:\/\/www.emn.fr\/z-info\/hnguyen\/vpa\/"},{"key":"47_CR10","doi-asserted-by":"crossref","unstructured":"Reps, T., Schwoon, S., Jha, S., Melski, D.: Weighted pushdown systems and their application to interprocedural dataflow analysis. SCP\u00a058(1-2) (October 2005)","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"47_CR11","doi-asserted-by":"crossref","unstructured":"Thakur, A., Lim, J., Lal, A., Burton, A., Driscoll, E., Elder, M., Andersen, T., Reps, T.: Directed proof generation for machine code. TR 1669, UW-Madison (April 2010); Abridged version published in CAV 2010","DOI":"10.1007\/978-3-642-14295-6_27"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31424-7_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:00:07Z","timestamp":1620129607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31424-7_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314230","9783642314247"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31424-7_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}