Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Joost P. Katoen

doi:10.1007/3-540-48778-6

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Research output: Book/Report › Book editing › Academic

Original language	English
Place of Publication	Berlijn
Publisher	Springer
Number of pages	355
ISBN (Electronic)	978-3-540-48778-4
ISBN (Print)	978-3-540-66010-1
DOIs	https://doi.org/10.1007/3-540-48778-6
Publication status	Published - 1999

Publication series

Name	Lecture notes in computer science
Volume	1601

Keywords

METIS-118822

Access to Document

10.1007/3-540-48778-6

Cite this

@book{af5eee7b5caf456aa570c3683eca2a8a,

title = "Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS{\textquoteright}99 Bamberg, Germany, May 26–28, 1999 Proceedings",

keywords = "METIS-118822",

editor = "Katoen, {Joost P.}",

year = "1999",

doi = "10.1007/3-540-48778-6",

language = "English",

isbn = "978-3-540-66010-1",

series = "Lecture notes in computer science",

publisher = "Springer",

}

TY - BOOK

T1 - Formal Methods for Real-Time and Probabilistic Systems

T2 - 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

A2 - Katoen, Joost P.

PY - 1999

Y1 - 1999

KW - METIS-118822

U2 - 10.1007/3-540-48778-6

DO - 10.1007/3-540-48778-6

M3 - Book editing

SN - 978-3-540-66010-1

T3 - Lecture notes in computer science

BT - Formal Methods for Real-Time and Probabilistic Systems

PB - Springer

CY - Berlijn

ER -