{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:47Z","timestamp":1725663527823},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556060"},{"type":"electronic","value":"9783540472544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55606-0_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:23:59Z","timestamp":1330251839000},"page":"183-190","source":"Crossref","is-referenced-by-count":3,"title":["From elementary knowledge schemes towards heuristic expertise \u2014 Designing an its in the field of parallel programming"],"prefix":"10.1007","author":[{"given":"Christian","family":"Herzog","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"24_CR1","volume-title":"Programming Languages","author":"E.-W. Dijkstra","year":"1968","unstructured":"E.-W. Dijkstra: Cooperating sequential processes. In F. Genuys, editor, Programming Languages. Academic Press, New York, 1968."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"M. Hack: The recursive equivalence of the liveness problem and the reachability problem for Petri nets and vector addition systems. In Proc. of the 15th Annual Symposium on SWAT, pages 156\u2013164, New Orleans, LA, Oct. 1974.","DOI":"10.1109\/SWAT.1974.28"},{"key":"24_CR3","unstructured":"C. Herzog: TaskL \u2014 a language for specifying problems and formulating solutions in the field of sychronization of parallel processes. Internal report, 1991."},{"key":"24_CR4","unstructured":"W. Johnson: Intention-based Diagnosis of Novice Programming Errors. Morgan Kaufmann, 1986."},{"key":"24_CR5","volume-title":"Diplomarbeit","author":"T. Kiewert","year":"1992","unstructured":"T. Kiewert: Entwicklung und Implementierung von Verfahren zur interaktiven Analyse von Studentenl\u00f6sungen in einem intelligenten Lehrsystem zu Synchronisationsproblemen. Diplomarbeit, TU M\u00fcnchen, Institut f\u00fcr Informatik, Januar 1992."},{"key":"24_CR6","volume-title":"Diplomarbeit","author":"H.-J. Krebs","year":"1992","unstructured":"H.-J. Krebs: Sammlung und Klassifizierung von Synchronisationsproblemen sowie Entwicklung einer Wissensbasis zur Analyse von Studentenl\u00f6sungen in einem intelligenten Lehrsystem. Diplomarbeit, TU M\u00fcnchen, Institut f\u00fcr Informatik, Januar 1992."},{"issue":"3","key":"24_CR7","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E. Mayr","year":"1984","unstructured":"E. Mayr: An algorithm for the general Petri net reachability problem. SIAM J. Comput., 13(3):441\u2013460, Aug. 1984.","journal-title":"SIAM J. Comput."},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0360-1315(88)90064-4","volume":"12","author":"G. Olimpo","year":"1988","unstructured":"G. Olimpo: The robot brothers: An environment for learning parallel programming oriented to computer education. Computers & Education, 12:113\u2013118, 1988.","journal-title":"Computers & Education"}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55606-0_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:33:13Z","timestamp":1619573593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55606-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556060","9783540472544"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-55606-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}