Paper Description: MIP-9717
BibTeX entry:
@incollection{MIP-9717,
author="U. Lechner"
title="Object-Oriented Specification of Distributed Systems",
institution="Fakult{\"a}t f{\"u}r Mathematik und Informatik,
Universit{\"a}t Passau",
year=1997,
number={MIP-9717}
}
Abstract:
Paper itself:
Cross links:
Ulrike Peiker, Martin Griebl