BibTeX record: conf/forte/HinterplattnerNS90

download as .bib file

@inproceedings{DBLP:conf/forte/HinterplattnerNS90,
  author    = {Josef Hinterplattner and
               Heinrich Nirschl and
               Heinz Saria},
  title     = {Process Topology Diagrams},
  booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
               Third International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
               Spain, 5-8 November 1990},
  pages     = {443--458},
  year      = {1990},
  crossref  = {DBLP:conf/forte/1990},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/HinterplattnerNS90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/forte/1990,
  editor    = {Juan Quemada and
               Jos{\'{e}} A. Ma{\~{n}}as and
               Enrique V{\'{a}}zquez},
  title     = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
               Third International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
               Spain, 5-8 November 1990},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-89024-6},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}