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

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

Publication series

NameComputing science notes
Volume9001

Cite this