Author of the publication

Tramway Networks as Route Graphs

, , and . FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, page 109-119. (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ROM-Listing CPC 464/664/6128, and . Markt & Technik; Haar/München, (1986)A simple refinement language for CASL, , and . WADT 2004, volume 3423 of Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, (2005)Tramway Networks as Route Graphs, , and . FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, page 109-119. (2004)Programmieren in Turbo-Prolog. Theorie und Praxis der logischen Programmierung, , and . Markt und Technik; Haar/München, (1988)Symbolische Formelmanipulation. Implementation eines LISP-Interpreters, Überlegungen zur seiteneffektfreien Programmierung. (1986)Bundeswettbewerb "Jugend forscht".Subsorted Partial Higher-Order Logic as an Extension of CASL, , and . Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, Springer Verlag, London, (2000)Fabricating Monsters is Hard - Towards the Automation of Conceptual Blending, , , and . Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014, (2014)The Development Graph Manager MAYA (System description), , , and . Algebraic Methodology and Software Technology, 2002, volume 2422 of Lecture Notes in Computer Science, page 495--502. Springer Verlag, London, (2002)HetCASL - Heterogeneous Specification. Language Summary. (2004)CASL Tools. CASL User Manual, volume 2900 of Lecture Notes in Computer Science, Springer Verlag, London, (2004)