R. Lai, X. Li. Simulation and Verification of Protocol Using Deductive Machine. Simulation, 65(5):321-333, 1995. [doi]
@article{LaiL95-1, title = {Simulation and Verification of Protocol Using Deductive Machine}, author = {R. Lai and X. Li}, year = {1995}, doi = {10.1177/003754979506500505}, url = {https://doi.org/10.1177/003754979506500505}, researchr = {https://researchr.org/publication/LaiL95-1}, cites = {0}, citedby = {0}, journal = {Simulation}, volume = {65}, number = {5}, pages = {321-333}, }