An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification

Richard Lai. An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification. Journal of Systems and Software, 36(2):137-145, 1997.

@article{Lai97b,
  title = {An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification},
  author = {Richard Lai},
  year = {1997},
  researchr = {https://researchr.org/publication/Lai97b},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {36},
  number = {2},
  pages = {137-145},
}