Bernhard Steffen, Tiziana Margaria, Andreas Claßen. Heterogeneous Analysis and Verification for Distributed Systems. Software - Concepts and Tools, 17(1):13-25, 1996.
@article{SteffenMC96, title = {Heterogeneous Analysis and Verification for Distributed Systems}, author = {Bernhard Steffen and Tiziana Margaria and Andreas Claßen}, year = {1996}, tags = {analysis}, researchr = {https://researchr.org/publication/SteffenMC96}, cites = {0}, citedby = {0}, journal = {Software - Concepts and Tools}, volume = {17}, number = {1}, pages = {13-25}, }