Jean-Pierre Courtiat, Pierre de Saqui-Sannes. ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle. Computer Networks, 25(1):83-98, 1992.
@article{CourtiatS92,
title = {ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle},
author = {Jean-Pierre Courtiat and Pierre de Saqui-Sannes},
year = {1992},
tags = {meta-model, protocol, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/CourtiatS92},
cites = {0},
citedby = {0},
journal = {Computer Networks},
volume = {25},
number = {1},
pages = {83-98},
}