{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:28:33Z","timestamp":1725467313325},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613138"},{"type":"electronic","value":"9783540684541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61313-7_84","type":"book-chapter","created":{"date-parts":[[2006,7,12]],"date-time":"2006-07-12T10:19:20Z","timestamp":1152699560000},"page":"345-348","source":"Crossref","is-referenced-by-count":0,"title":["SEdit \u2014 Graphically validating technical systems"],"prefix":"10.1007","author":[{"given":"Gerd","family":"Gro\u00dfe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph S.","family":"Herrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enno","family":"Sandner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,6]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"W. Bibel, S. Br\u00fcning, U. Egly, and T. Rath. KoMeT. In A. Bundy, editor, Proceedings of the 12th Conference on Automated Deduction (CADE), pages 783\u2013787. Springer LNAI 814, 1994.","DOI":"10.1007\/3-540-58156-1_60"},{"key":"26_CR2","unstructured":"G. Gro\u00dfe and H. Khalil. State Event Logic. MEDLAR Special Issue of the Bulletin of the Interest Group in Pure and Applied Logics (IGPL), 1995. to appear."},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer programming"},{"issue":"5","key":"26_CR4","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"H. J. Ohlbach","year":"1991","unstructured":"H. J. Ohlbach. Semantics based translation methods for modal logics. Journal of Logic and Computation, 1(5):691\u2013746, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"26_CR5","unstructured":"J. Pfalzgraf, U. Sigmund, V. Sofronie, and K. Stokkermans. Towards a cooperating robot demonstrator. In J. Cunningham and J. Pitt, editors, Periodic Progress Report 3 \u2014 Mechanizing Deduction in the Logics of Practical Reasoning (MEDLAR II, ESPRIT Basic Research Project 6471), pages 181\u2013197, 1995."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"J. Pfalzgraph, U. Sigmund, and K. Stokkermans. Modeling cooperating agent scenarios by deductive planning methods and logical fiberings. In Proceedings of AISMC-2. Springer LNCS, 1995. in press.","DOI":"10.1007\/3-540-60156-2_13"},{"key":"26_CR7","volume-title":"SEL-Charts, Master's thesis","author":"E. Sandner","year":"1995","unstructured":"E. Sandner. SEL-Charts, Master's thesis, TH Darmstadt, FG Intellektik, 1995."}],"container-title":["Lecture Notes in Computer Science","Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61313-7_84","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T12:10:10Z","timestamp":1549195810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61313-7_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613138","9783540684541"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-61313-7_84","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}