Paper Description: Lec97

BibTeX entry:

@PhDthesis{Lec97,

author = {U.~Lechner},
title = {Object-Oriented Specification of Distributed Systems},
school = "University of Passau",
year = 1997 }

Dissertation:

Author:

Cross links:

Ulrike Lechner