DBLP Record 'journals/entcs/BaetenBCRRST08'

BibTeX

@article{DBLP:journals/entcs/BaetenBCRRST08,
  author    = {Jos C. M. Baeten and
               D. A. van Beek and
               Pieter J. L. Cuijpers and
               Michel A. Reniers and
               J. E. Rooda and
               Ramon R. H. Schiffelers and
               R. J. M. Theunissen},
  title     = {Model-based Engineering of Embedded Systems Using the Hybrid
               Process Algebra Chi},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {209},
  year      = {2008},
  pages     = {21-53},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2008.04.003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}