DBLP BibTeX Record 'journals/ibmsj/BindingBDKY92'

@article{DBLP:journals/ibmsj/BindingBDKY92,
  author    = {Carl Binding and
               Wiet Bouma and
               Michel Dauphin and
               G{\"u}nter Karjoth and
               Yan Yang},
  title     = {A Common Compiler for LOTOS and SDL Specifications},
  journal   = {IBM Systems Journal},
  volume    = {31},
  number    = {4},
  year      = {1992},
  pages     = {668-690},
  ee        = {http://dx.doi.org/10.1147/sj.314.0668},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}