LechnerL95'

BibTeX

@inproceedings{DBLP:conf/dagstuhl/LechnerL95,
  author    = {Ulrike Lechner and
               Christian Lengauer},
  title     = {Modal-$\mu$-Maude: Specification and Properties of Concurrent
               Objects},
  booktitle = {Object Orientation with Parallelism and Persistence},
  year      = {1995},
  pages     = {43-62},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}