Rüdiger Grammes, Reinhard Gotzhein
SDL Profiles — Formal Semantics and Tool Support
FASE, 2007.
@inproceedings{FASE-2007-GrammesG, author = "Rüdiger Grammes and Reinhard Gotzhein", booktitle = "{Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/978-3-540-71289-3_17", isbn = "978-3-540-71288-6", pages = "200--214", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{SDL Profiles — Formal Semantics and Tool Support}", volume = 4422, year = 2007, }