Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Towards model checking stochastic process algebra
Collection editors:
Grieskamp, Wolfgang; Santen, Thomas; Stoddart, Bill
Title of conference publication:
Integrated Formal Methods
Subtitle of conference publication:
Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
Series title:
Lecture notes in computer science
Series volume:
1945
Conference title:
International Conference on Integrated Formal Methods (2., 2000, Dagstuhl)
Venue:
Dagstuhl
Year of conference:
2000
Date of conference beginning:
01.11.2000
Date of conference ending:
03.11.2000
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
2000
Pages from - to:
420-439
Language:
Englisch
ISBN:
3-540-41196-8
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
Open Access yes or no?:
Nein / No
BibTeX