InocencioRSK96'

BibTeX

@inproceedings{DBLP:conf/forte/InocencioRSK96,
  author    = {Eurico Inoc{\^e}ncio and
               Manuel Ricardo and
               Hitoshi Sato and
               Toshimitsu Kashima},
  title     = {Combined Application of SDL-92, OMT, MSC and TTCN},
  booktitle = {FORTE},
  year      = {1996},
  pages     = {451-466},
  crossref  = {DBLP:conf/forte/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1996,
  editor    = {Reinhard Gotzhein and
               Jan Bredereke},
  title     = {Formal Description Techniques IX: Theory, application and
               tools, IFIP TC6 WG6.1 International Conference on Formal
               Description Techniques IX / Protocol Specification, Testing
               and Verification XVI, Kaiserslautern, Germany, 8-11 October
               1996},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {69},
  year      = {1996},
  isbn      = {0-412-79490-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}