Tools and Algorithms for the Construction and Analysis of Systems

Hendrik Brinksma, W.R. Cleaveland, T. Margaria, B. Steffen, K.G. Larsen

Research output: Book/ReportBookAcademic

Original languageUndefined
Place of PublicationGeen adressering
PublisherSpringer
Number of pages289
ISBN (Print)3-540-60630-0
Publication statusPublished - 1995

Keywords

  • METIS-118806

Cite this

Brinksma, H., Cleaveland, W. R., Margaria, T., Steffen, B., & Larsen, K. G. (1995). Tools and Algorithms for the Construction and Analysis of Systems. Geen adressering: Springer.
Brinksma, Hendrik ; Cleaveland, W.R. ; Margaria, T. ; Steffen, B. ; Larsen, K.G. / Tools and Algorithms for the Construction and Analysis of Systems. Geen adressering : Springer, 1995. 289 p.
@book{bf828ed4c63a45f2a9c985982ca0ce2b,
title = "Tools and Algorithms for the Construction and Analysis of Systems",
keywords = "METIS-118806",
author = "Hendrik Brinksma and W.R. Cleaveland and T. Margaria and B. Steffen and K.G. Larsen",
year = "1995",
language = "Undefined",
isbn = "3-540-60630-0",
publisher = "Springer",

}

Brinksma, H, Cleaveland, WR, Margaria, T, Steffen, B & Larsen, KG 1995, Tools and Algorithms for the Construction and Analysis of Systems. Springer, Geen adressering.

Tools and Algorithms for the Construction and Analysis of Systems. / Brinksma, Hendrik; Cleaveland, W.R.; Margaria, T.; Steffen, B.; Larsen, K.G.

Geen adressering : Springer, 1995. 289 p.

Research output: Book/ReportBookAcademic

TY - BOOK

T1 - Tools and Algorithms for the Construction and Analysis of Systems

AU - Brinksma, Hendrik

AU - Cleaveland, W.R.

AU - Margaria, T.

AU - Steffen, B.

AU - Larsen, K.G.

PY - 1995

Y1 - 1995

KW - METIS-118806

M3 - Book

SN - 3-540-60630-0

BT - Tools and Algorithms for the Construction and Analysis of Systems

PB - Springer

CY - Geen adressering

ER -

Brinksma H, Cleaveland WR, Margaria T, Steffen B, Larsen KG. Tools and Algorithms for the Construction and Analysis of Systems. Geen adressering: Springer, 1995. 289 p.