Validation of Stochastic Systems: A Guide to Current Research
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg (2004), 2004; 2004
Online
Konferenzschrift, Sammelwerk, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Validation of Stochastic Systems: A Guide to Current Research
|
---|---|
Verantwortlichkeitsangabe: | edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle |
Autor/in / Beteiligte Person: | Baier, Christel ; Haverkort, Boudewijn R. ; Hermanns, Holger ; Katoen, Joost-Pieter ; Siegle, Markus |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg (2004), 2004; 2004 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783540246114 |
DOI: | 10.1007/b98484 |
Schlagwort: |
|
Sonstiges: |
|