Behavior tables: a basis for system representation and transformational system synthesis

Kamlesh Rath, M. Esen Tuna, Steven D. Johnson. Behavior tables: a basis for system representation and transformational system synthesis. In Michael R. Lightner, Jochen A. G. Jess, editors, Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993. pages 736-740, IEEE Computer Society, 1993. [doi]

@inproceedings{RathTJ93,
  title = {Behavior tables: a basis for system representation and transformational system synthesis},
  author = {Kamlesh Rath and M. Esen Tuna and Steven D. Johnson},
  year = {1993},
  doi = {10.1145/259794.259910},
  url = {http://doi.acm.org/10.1145/259794.259910},
  tags = {transformation system, transformation},
  researchr = {https://researchr.org/publication/RathTJ93},
  cites = {0},
  citedby = {0},
  pages = {736-740},
  booktitle = {Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993},
  editor = {Michael R. Lightner and Jochen A. G. Jess},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-4490-7},
}