Gerhard Schellhorn, Axel Burandt. KIV. In Claus Lewerentz, Thomas Lindner, editors, Formal Development of Reactive Systems - Case Study Production Cell. Volume 891 of Lecture Notes in Computer Science, pages 229-245, Springer, 1995.
@inproceedings{SchellhornB95, title = {KIV}, author = {Gerhard Schellhorn and Axel Burandt}, year = {1995}, researchr = {https://researchr.org/publication/SchellhornB95}, cites = {0}, citedby = {0}, pages = {229-245}, booktitle = {Formal Development of Reactive Systems - Case Study Production Cell}, editor = {Claus Lewerentz and Thomas Lindner}, volume = {891}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58867-1}, }