DBLP Record 'conf/forte/Karjoth88'

BibTeX

@inproceedings{DBLP:conf/forte/Karjoth88,
  author    = {G{\"u}nter Karjoth},
  title     = {A LISP-Based LOTOS Environment},
  booktitle = {FORTE},
  year      = {1988},
  pages     = {73-77},
  crossref  = {DBLP:conf/forte/1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1988,
  editor    = {Kenneth J. Turner},
  title     = {Formal Description Techniques, Proceedings of the First
               International Conference on Formal Description Techniques,
               Stirling, Scotland, UK, 6-9 September, 1988},
  booktitle = {FORTE},
  publisher = {North-Holland},
  year      = {1989},
  isbn      = {0-444-87126-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}