{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:40:58Z","timestamp":1725608458059},"publisher-location":"Vienna","reference-count":11,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832820"},{"type":"electronic","value":"9783709163559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6355-9_3","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T07:42:02Z","timestamp":1316072522000},"page":"33-47","source":"Crossref","is-referenced-by-count":5,"title":["Applications of the Rel View System"],"prefix":"10.1007","author":[{"given":"R.","family":"Behnke","sequence":"first","affiliation":[]},{"given":"R.","family":"Berghammer","sequence":"additional","affiliation":[]},{"given":"T.","family":"Hoffmann","sequence":"additional","affiliation":[]},{"given":"B.","family":"Leoniuk","sequence":"additional","affiliation":[]},{"given":"P.","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"12","volume-title":"Proc. of a Colloquium on Programming languages and fundamentals of programming, Avendorf, Germany, Report","author":"R Behnke","year":"1997","unstructured":"Behnke R. (1997): Extending relational specifications by sequential algebras\u2013Prototyping with RELVIEw. In: Proc. of a Colloquium on Programming languages and fundamentals of programming, Avendorf, Germany, Report 9717, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel, pp. 12\u201322"},{"key":"3_CR2","volume-title":"Dissertation","author":"R Behnke","year":"1998","unstructured":"Behnke R. (1998): Transformationelle Programmentwicklung im Rahmen relationaler und sequentieller Algebren. Dissertation, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel"},{"key":"3_CR3","first-page":"9711","volume-title":"Machine support of relational computations - The Kiel RELVIEw system. Report","author":"R Behnke","year":"1997","unstructured":"Behnke R., Berghammer R., Schneider P. (1997): Machine support of relational computations - The Kiel RELVIEw system. Report 9711, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel"},{"key":"3_CR4","first-page":"9205","volume-title":"Computing the cut completion of a partially ordered set - An example for the use of the RELVIEw-system. Report","author":"R Berghammer","year":"1992","unstructured":"Berghammer R. (1992): Computing the cut completion of a partially ordered set - An example for the use of the RELVIEw-system. Report 9205, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen"},{"key":"3_CR5","first-page":"56","volume-title":"Proc. of HOA \u201883, Amsterdam, The Netherlands","author":"R Berghammer","year":"1994","unstructured":"Berghammer R., Gritzner T., Schmidt G. (1994): Prototyping relational specifications using higher-order objects. In: Proc. of HOA \u201883, Amsterdam, The Netherlands, Springer, Berlin, pp. 56\u201375 (Lecture notes in computer science, vol. 816)"},{"key":"3_CR6","volume-title":"Proc. of TACAS \u201886, Passau, Germany, Springer, Berlin, pp. 49-69 (Lecture notes in computer science, vol","author":"R Berghammer","year":"1055","unstructured":"Berghammer R., von Karger B., Ulke C. (1996): Relation-algebraic analysis of Petri nets with RELVIEw. In: Proc. of TACAS \u201886, Passau, Germany, Springer, Berlin, pp. 49\u201369 (Lecture notes in computer science, vol. 1055 )"},{"key":"3_CR7","volume-title":"405-406 (Workshops","author":"R Berghammer","year":"1993","unstructured":"Berghammer R., Schmidt G. (1993): RELVIEw \u2014 A computer system for the manipulation of relations. In: Proc. of AMAST \u201883, Enschede, The Netherlands, Springer, London, pp. 405\u2013406 (Workshops in computing)"},{"key":"3_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6510-2","volume-title":"Relational methods in Computer Science","author":"C Brink","year":"1997","unstructured":"Brink C., Kahl W., Schmidt G. (1997): Relational methods in Computer Science. Springer, Wien (Advances in computing science )"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"RE Bryant","year":"1992","unstructured":"Bryant R.E. (1992): Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys 24, pp. 293\u2013318","journal-title":"ACM Computing Surveys"},{"key":"3_CR10","volume-title":"407-408 (Workshops","author":"C Hattensperger","year":"1993","unstructured":"Hattensperger C., Berghammer R., Schmidt G. (1993): RALF - A relation-algebraic formula manipulation system and proof checker. In: Proc. of AMAST \u201883, Enschede, The Netherlands, Springer, London, pp. 407\u2013408 (Workshops in computing)"},{"key":"3_CR11","volume-title":"Springer","author":"G Schmidt","year":"1993","unstructured":"Schmidt G., Str\u00f6hlein T. (1993): Relations and graphs. Springer, Berlin, ( EATCS Monographs on theoretical computer science )"}],"container-title":["Tool Support for System Specification, Development and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6355-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:36:06Z","timestamp":1606124166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6355-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211832820","9783709163559"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6355-9_3","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}