Joost-Pieter Katoen, Lennard Lambert. Pomsets for MSC. In Hartmut König, Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. pages 197-207, Verlag Shaker, 1998.
@inproceedings{KatoenL98, title = {Pomsets for MSC}, author = {Joost-Pieter Katoen and Lennard Lambert}, year = {1998}, researchr = {https://researchr.org/publication/KatoenL98}, cites = {0}, citedby = {0}, pages = {197-207}, booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998}, editor = {Hartmut König and Peter Langendörfer}, publisher = {Verlag Shaker}, isbn = {3-8265-3807-2}, }