Paper Description: WiNiLec95

BibTeX entry:

@inproceedings{LLW95,
author="M.~Wirsing and F.~Nickl and U.~Lechner",
title="Concurrent Object-Oriented Design Specification in SPECTRUM",
booktitle="Workshop on Algebraic and Object-Oriented Approaches to Software Science, Nagoya/Japan",
editor="Y.~Inagaki"
pages="\mbox{39--70}}",
year="1995"
note = {Full version: Concurrent Object-Oriented Design Specification in SPECTRUM, Technical Report 9418, Institut f{\"u}r Informatik, Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen, December 1994.}
}

Paper itself:

Authors:

Cross links:

Ulrike Lechner