Udo Thalmann. Analysis of ESTELLE Specifications. In Friedrich H. Vogt, editor, Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings. Volume 335 of Lecture Notes in Computer Science, pages 335-352, Springer, 1988.
No reviews for this publication, yet.