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

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

Mathematics and Computer Science

Research output: Book/Report › Report › Academic

133 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	17
Publication status	Published - 1990

Publication series

Name	Computing science notes
Volume	9001

Access to Document

8930836Final published version, 846 KB

Cite this

@book{293c66b289b947af95dd9998fcd948b4,

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

author = "\{Roever, de\}, W.P. and H. Barringer and C. Courcoubetis and D.M. Gabbay and R.T. Gerth and B. Jonsson and A. Pnueli and M. Reed and J. Sifakis and J. Vytopil and P. Wolper",

year = "1990",

language = "English",

series = "Computing science notes",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

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

AU - Roever, de, W.P.

AU - Barringer, H.

AU - Courcoubetis, C.

AU - Gabbay, D.M.

AU - Gerth, R.T.

AU - Jonsson, B.

AU - Pnueli, A.

AU - Reed, M.

AU - Sifakis, J.

AU - Vytopil, J.

AU - Wolper, P.

PY - 1990

Y1 - 1990

M3 - Report

T3 - Computing science notes

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

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -