Open Estelle - An FDT for Open Distributed Systems

Joachim Thees, Reinhard Gotzhein. Open Estelle - An FDT for Open Distributed Systems. In Stanislaw Budkowski, Ana R. Cavalli, Elie Najm, editors, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII 98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and. Volume 135 of IFIP Conference Proceedings, pages 19-36, Kluwer, 1998.

@inproceedings{TheesG98:0,
  title = {Open Estelle - An FDT for Open Distributed Systems},
  author = {Joachim Thees and Reinhard Gotzhein},
  year = {1998},
  tags = {source-to-source, open-source},
  researchr = {https://researchr.org/publication/TheesG98%3A0},
  cites = {0},
  citedby = {0},
  pages = {19-36},
  booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII 98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and},
  editor = {Stanislaw Budkowski and Ana R. Cavalli and Elie Najm},
  volume = {135},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-412-84760-4},
}