Keywords:
Publications of K. Lüttich
2005
Ontologies for the Semantic Web in CASL, in: Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), pages 106-125, Springer; Berlin; http://www.springer.de, 2005 | , and ,
[DOI] |
2004
Specification of Ontologies in CASL, in: Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), pages 140-150, IOS Press; Amsterdam; http://www.iospress.nl, 2004 | and ,
|
Tramway Networks as Route Graphs, in: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 109-119, 2004 | , and ,
|