DBLP BibTeX Record 'conf/synasc/WorzbergerKH08'

@inproceedings{DBLP:conf/synasc/WorzbergerKH08,
  author    = {Ren{\'e} W{\"o}rzberger and
               Thomas Kurpick and
               Thomas Heer},
  title     = {Checking Correctness and Compliance of Integrated Process
               Models},
  booktitle = {SYNASC},
  year      = {2008},
  pages     = {576-583},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2008.10},
  crossref  = {DBLP:conf/synasc/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/synasc/2008,
  editor    = {Viorel Negru and
               Tudor Jebelean and
               Dana Petcu and
               Daniela Zaharie},
  title     = {SYNASC 2008, 10th International Symposium on Symbolic and
               Numeric Algorithms for Scientific Computing, Timisoara,
               Romania, 26-29 September 2008},
  booktitle = {SYNASC},
  publisher = {IEEE Computer Society},
  year      = {2008},
  isbn      = {978-0-7695-3523-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Last update 2009-06-10 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page