Gerd Große, Christoph S. Herrmann, Enno Sandner. SEdit - Graphically Validating Technical Systems. In Dov M. Gabbay, Hans Jürgen Ohlbach, editors, Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996, Proceedings. Volume 1085 of Lecture Notes in Computer Science, pages 345-348, Springer, 1996.
@inproceedings{GrosseHS96:0,
title = {SEdit - Graphically Validating Technical Systems},
author = {Gerd Große and Christoph S. Herrmann and Enno Sandner},
year = {1996},
researchr = {https://researchr.org/publication/GrosseHS96%3A0},
cites = {0},
citedby = {0},
pages = {345-348},
booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996, Proceedings},
editor = {Dov M. Gabbay and Hans Jürgen Ohlbach},
volume = {1085},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61313-7},
}