Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Towards model checking stochastic process algebra
Herausgeber Sammlung:
Grieskamp, Wolfgang; Santen, Thomas; Stoddart, Bill
Titel Konferenzpublikation:
Integrated Formal Methods
Untertitel Konferenzpublikation:
Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
Reihentitel:
Lecture notes in computer science
Bandnummer Reihe:
1945
Konferenztitel:
International Conference on Integrated Formal Methods (2., 2000, Dagstuhl)
Tagungsort:
Dagstuhl
Jahr der Konferenz:
2000
Datum Beginn der Konferenz:
01.11.2000
Datum Ende der Konferenz:
03.11.2000
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
2000
Seiten von - bis:
420-439
Sprache:
Englisch
ISBN:
3-540-41196-8
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
Open Access ja oder nein?:
Nein / No
BibTeX