Keywords:
Publications of T. Mossakowski
2005
| , and , 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 |
[DOI] |
2004
| and , 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 |
|