Hartmut Ehrig. Combined Algebraic Specification Techniques for Concurrent and Distributed Systems. In GI Jahrestagung. pages 528-533, 1993.
@inproceedings{Ehrig93, title = {Combined Algebraic Specification Techniques for Concurrent and Distributed Systems}, author = {Hartmut Ehrig}, year = {1993}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/Ehrig93}, cites = {0}, citedby = {0}, pages = {528-533}, booktitle = {GI Jahrestagung}, }