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:

Postscript file (for previewing)
compressed file (for previewing or ftp)

Authors:

Martin Wirsing
Friederike Nickl
Ulrike Lechner

Cross links:

more papers
our group

Ulrike Lechner