dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

DBLP BibTeX Record 'journals/entcs/BaetenB98'

@article{DBLP:journals/entcs/BaetenB98,
  author    = {Jos C. M. Baeten and
               Jan A. Bergstra},
  title     = {Deadlock Behaviour in Split and ST Bisimulation Semantics},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {16},
  number    = {2},
  year      = {1998},
  pages     = {61-74},
  ee        = {http://dx.doi.org/10.1016/S1571-0661(04)00117-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Last update 2011-04-11 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page