DBLP Record 'conf/forte/BrederekeG93'

BibTeX

@inproceedings{DBLP:conf/forte/BrederekeG93,
  author    = {Jan Bredereke and
               Reinhard Gotzhein},
  title     = {Increasing the Concurrency in Estelle},
  booktitle = {FORTE},
  year      = {1993},
  pages     = {125-139},
  crossref  = {DBLP:conf/forte/1993},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1993,
  editor    = {Richard L. Tenney and
               Paul D. Amer and
               M. {\"U}mit Uyar},
  title     = {Formal Description Techniques, VI, Proceedings of the IFIP
               TC6/WG6.1 Sixth International Conference on Formal Description
               Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993},
  booktitle = {FORTE},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {C-22},
  year      = {1994},
  isbn      = {0-444-81773-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}