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

Onderzoeksoutput: Boek/rapportRapportAcademic

50 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's17
StatusGepubliceerd - 1990

Publicatie series

NaamComputing science notes
Volume9001

Citeer dit