@inproceedings{811,
  author = {Gabor Karsai and Aditya Agrawal and Feng Shi and Jonathan Sprinkle},
  title = {On the use of Graph Transformations in the Formal Specification of Computer-Based Systems},
  year = {2003},
  journal = {IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems},
  pages = {19--27},
  month = {April},
  address = {Huntsville, Alabama},
  language = {eng},
}