Validation of Stochastic Systems: A Guide to Current Research
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004
Online
Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
Zugriff:
- Hochschule Rhein-Waal, Bibliothek (DE-1383), Bibliothekskatalog
- Technische Hochschule Köln, Hochschulbibliothek (DE-832), Bibliothekskatalog
- Technische Hochschule Ostwestfalen-Lippe, Service Kommunikation Information Medien (DE-743), Bibliothekskatalog
- Universitäts- und Landesbibliothek Düsseldorf (DE-61), Bibliothekskatalog
- Universitäts- und Landesbibliothek Münster, Zentralbibliothek (DE-6), Bibliothekskatalog
- Universitätsbibliothek Dortmund (DE-290), Bibliothekskatalog
- Universitätsbibliothek Duisburg-Essen (DE-465), Bibliothekskatalog
- Universitätsbibliothek Paderborn (DE-466), Bibliothekskatalog
- Universitätsbibliothek Trier (DE-385), Bibliothekskatalog
- Universitätsbibliothek der Fernuniversität (DE-708), Bibliothekskatalog
- Universitätsbibliothek der RPTU in Kaiserslautern (DE-386), Bibliothekskatalog
- Universitätsbibliothek der RWTH Aachen (DE-82), Bibliothekskatalog
| 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 [Sonstige] ; Haverkort, Boudewijn R. [Sonstige] ; Hermanns, Holger [Sonstige] ; Katoen, Joost-Pieter [Sonstige] ; Siegle, Markus [Sonstige] |
| Link: | |
| Verwandtes Werk: | |
| Veröffentlichung: | Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004 |
| Inhaltstyp: | Konferenzschrift |
| Medientyp: | Konferenzschrift, Buch |
| Datenträgertyp: | Datenträger, Online-Ressource |
| ISBN: | 9783540246114; 3540246118 |
| DOI: | 10.1007/b98484 |
| Schlagwort: |
|
| Sonstiges: |
|