Non-Determinism and SDL

Dieter Hogrefe, Amardeo Sarma. Non-Determinism and SDL. In Kenneth J. Turner, editor, Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. pages 157-167, North-Holland, 1988.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.