Arlet Ottens, Hans Toetenel. Simulation of Mosca Specifications in Ada. In Jan van Katwijk, editor, Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings. Volume 603 of Lecture Notes in Computer Science, pages 182-196, Springer, 1992.
@inproceedings{OttensT92, title = {Simulation of Mosca Specifications in Ada}, author = {Arlet Ottens and Hans Toetenel}, year = {1992}, researchr = {https://researchr.org/publication/OttensT92}, cites = {0}, citedby = {0}, pages = {182-196}, booktitle = {Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings}, editor = {Jan van Katwijk}, volume = {603}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55585-4}, }