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}, }