Stephan Kleuker. Reengineering of Distributed Systems Using Formal Methods. In 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR 98), 8-11 March 1998, Florence, Italy. pages 189-192, IEEE Computer Society, 1998. [doi]
@inproceedings{Kleuker98, title = {Reengineering of Distributed Systems Using Formal Methods}, author = {Stephan Kleuker}, year = {1998}, url = {http://csdl.computer.org/comp/proceedings/csmr/1998/8421/00/84210189abs.htm}, researchr = {https://researchr.org/publication/Kleuker98}, cites = {0}, citedby = {0}, pages = {189-192}, booktitle = {2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR 98), 8-11 March 1998, Florence, Italy}, publisher = {IEEE Computer Society}, isbn = {0-8186-8421-6}, }