DBLP BibTeX Record 'conf/ecbs/JarrayaSDH07'

@inproceedings{DBLP:conf/ecbs/JarrayaSDH07,
  author    = {Yosr Jarraya and
               Andrei Soeanu and
               Mourad Debbabi and
               Fawzi Hassa\"{\i}ne},
  title     = {Automatic Verification and Performance Analysis of Time-Constrained
               SysML Activity Diagrams},
  booktitle = {ECBS},
  year      = {2007},
  pages     = {515-522},
  ee        = {http://dx.doi.org/10.1109/ECBS.2007.22},
  crossref  = {DBLP:conf/ecbs/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecbs/2007,
  title     = {14th Annual IEEE International Conference and Workshop on
               Engineering of Computer Based Systems (ECBS 2007), 26-29
               March 2007, Tucson, Arizona, USA},
  booktitle = {ECBS},
  publisher = {IEEE Computer Society},
  year      = {2007},
  isbn      = {0-7695-2772-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}