Berthold Hoffmann, Bernd Krieg-Brückner. The PROSPECTRA System. In Christian Choffrut, Matthias Jantzen, editors, STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings. Volume 480 of Lecture Notes in Computer Science, pages 539-540, Springer, 1991.
@inproceedings{HoffmannK91:0,
title = {The PROSPECTRA System},
author = {Berthold Hoffmann and Bernd Krieg-Brückner},
year = {1991},
researchr = {https://researchr.org/publication/HoffmannK91%3A0},
cites = {0},
citedby = {0},
pages = {539-540},
booktitle = {STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
editor = {Christian Choffrut and Matthias Jantzen},
volume = {480},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-53709-0},
}