DILL: Specifying Digital Logic in LOTOS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kenneth J. Turner, Richard O. Sinnott. DILL: Specifying Digital Logic in LOTOS. In Richard L. Tenney, Paul D. Amer, M. Ümit Uyar, editors, Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE 93, Boston, MA, USA, 26-29 October 1993. Volume C-22 of IFIP Transactions, pages 71-86, North-Holland, 1993.

This author has not been identified. Look up 'Kenneth J. Turner' in GoogleThis author has not been identified. Look up 'Richard O. Sinnott' in Google

runs on WebDSL