BibTeX record: conf/forte/ManasSM91

download as .bib file

@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 = {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},
  year      = {1991},
  pages     = {467--470},
  crossref  = {DBLP:conf/forte/1991},
  timestamp = {Tue, 23 Sep 2014 16:45:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/ManasSM91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  series    = {{IFIP} Transactions},
  year      = {1992},
  volume    = {{C-2}},
  publisher = {North-Holland},
  isbn      = {0-444-89402-0},
  timestamp = {Tue, 23 Sep 2014 16:45:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}