{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:25:19Z","timestamp":1778297119168,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643678","type":"print"},{"value":"9783540697602","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053508","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:49:08Z","timestamp":1149644948000},"page":"222-237","source":"Crossref","is-referenced-by-count":5,"title":["Automatic error location for IN service definition"],"prefix":"10.1007","author":[{"given":"Volker","family":"Braun","sequence":"first","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]},{"given":"Haiseung","family":"Yoo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Ed Clarke, J. Wing: ACM Worksh. on Strategic Directions in Computing Research, Position Statement of the Formal Methods group, Boston (USA), June 1996. ACM Computing Surv. 28A(4), Dec. 1996, http:\/\/www.acm.org\/surveys\/1996.","DOI":"10.1145\/242223.242257"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen: \u201cResults on the Propositional \u039c-Calculus\u201d, Theoretical Computer Science, Vol. 27, 1983, pp. 333\u2013354.","journal-title":"Theoretical Computer Science"},{"key":"17_CR3","unstructured":"J.K. Ousterhout: \u201cTcl and the Tk Toolkit,\u201d Addison-Wesley, April 1994."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"B. Steffen, A. Cla\u00dfen, M. Klein, J. Knoop, T. Margaria: \u201cThe Fixpoint Analysis Machine\u201d, Proc. CONCUR'95, Pittsburgh (USA), August 1995, LNCS 962, Springer Verlag.","DOI":"10.1007\/3-540-60218-6_6"},{"key":"17_CR5","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun, M. Reitenspie\u00df: \u201cAn Environment for the Creation of Intelligent Network Services\u201d, in \u201cIntelligent Networks: IN\/AIN Technologies, Operations, Services, and Applications \u2014 A Comprehensive Report\u201d, Int. Engineering Consortium Chicago (USA), 1996, pp.287\u2013300."},{"key":"17_CR6","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen: Heterogeneous Analysis and Verification for Distributed Systems, \u201cSoftware: Concepts and Tools\u201d Vol.17(1), pp.13\u201325, March 1996, Springer Verlag"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun, M. Reitenspie\u00df: \u201cA Constraint-Oriented Service Creation Environment,\u201d Proc. PACT'96, Int. Conf on Practical Applications of Constraint Technology, 24\u201326 Apr.1996, London (UK).","DOI":"10.1007\/3-540-61042-1_63"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"B. Steffen, T. Margaria: Method Engineering for Real-Life Concurrent Systems, position statement, ACM Worksh. on Strategic Directions in Computing Research, Working Group on Concurrency, ACM Computing Surveys 28A(4), Dec. 1996, http:\/\/www.acm.org\/surveys\/1996\/SteffenMethod\/","DOI":"10.1145\/242224.242296"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"B. Steffen, T. Margaria: Tools Get Formal Methods into Practice, position statement, ACM Worksh. on Strategic Directions in Computing Research, Working Group on Formal Methods, ACM Computing Surveys 28A(4), Dec. 1996, http:\/\/www. acm. org\/surveys\/1996\/SteffenTools\/","DOI":"10.1145\/242224.242385"},{"key":"17_CR10","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun: Incremental Formalization: a Key to Industrial Success, in \u201cSoftware: Concepts and Tools\u201d, Vol.17(2), pp. 78\u201391, Springer Verlag, July 1996."},{"key":"17_CR11","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun, M. Reitenspie\u00df, H. Wendler: Service Creation: Formal Verification and Abstract Views, Proc. 4th Int. Conf. on Intelligent Networks (ICIN'96), Nov. 1996, Bordeaux (France), pp. 96\u2013101."},{"key":"17_CR12","unstructured":"B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical Service Definition, Annual Review of Communic., Int. Engineering Consortium, Chicago, 1997, pp.847\u2013856."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun: The METAFrame '95 Environment, Proc. CAV'96, Juli\u2013Aug. 1996, New Brunswick, NJ, USA, LNCS 1102, pp.450\u2013453, Springer Verlag.","DOI":"10.1007\/3-540-61474-5_100"}],"container-title":["Lecture Notes in Computer Science","Services and Visualization Towards User-Friendly Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:35:07Z","timestamp":1555641307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643678","9783540697602"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0053508","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}