DBLP BibTeX Record 'conf/forte/Broy90'

@inproceedings{DBLP:conf/forte/Broy90,
  author    = {Manfred Broy},
  title     = {Methodological Objectives for Formal Description Techniques},
  booktitle = {FORTE},
  year      = {1990},
  pages     = {1-16},
  crossref  = {DBLP:conf/forte/1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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},
  booktitle = {FORTE},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-89024-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Last update 2004-03-25 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page