Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

W.P. Roever, de, H. Barringer, C. Courcoubetis, D.M. Gabbay, R.T. Gerth, B. Jonsson, A. Pnueli, M. Reed, J. Sifakis, J. Vytopil, P. Wolper

Research output: Book/ReportReportAcademic

32 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages17
Publication statusPublished - 1990

Publication series

NameComputing science notes
Volume9001

Cite this

Roever, de, W. P., Barringer, H., Courcoubetis, C., Gabbay, D. M., Gerth, R. T., Jonsson, B., Pnueli, A., Reed, M., Sifakis, J., Vytopil, J., & Wolper, P. (1990). Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC). (Computing science notes; Vol. 9001). Technische Universiteit Eindhoven.