Executable specifications for discrete event systems

K.M. Hee, van, G.J.P.M. Houben, L.J.A.M. Somers, M. Voorhoeve

Research output: Book/ReportReportAcademic

35 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages21
Publication statusPublished - 1988

Publication series

NameComputing science notes
Volume8817

Cite this

Hee, van, K. M., Houben, G. J. P. M., Somers, L. J. A. M., & Voorhoeve, M. (1988). Executable specifications for discrete event systems. (Computing science notes; Vol. 8817). Eindhoven: Technische Universiteit Eindhoven.