ManasSM91'

@inproceedings{DBLP:conf/forte/ManasSM91,
  author    = {Jos{\'e} A. Ma{\~n}as and
               Joaqu\'{\i}n Salvach{\'u}a and
               Tom{\'a}s de Miguel},
  title     = {Tool Demonstration: A Cross Compiling Experiment: A PC Implementation
               of a LOTOS Spec},
  booktitle = {FORTE},
  year      = {1991},
  pages     = {467-470},
  crossref  = {DBLP:conf/forte/1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1991,
  editor    = {Ken R. Parker and
               Gordon A. Rose},
  title     = {Formal Description Techniques, IV, Proceedings of the IFIP
               TC6/WG6.1 Fourth International Conference on Formal Description
               Techniques for Distributed Systems and Communication Protocols,
               FORTE '91, Sydney, Australia, 19-22 November 1991},
  booktitle = {FORTE},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {C-2},
  year      = {1992},
  isbn      = {0-444-89402-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}