Compositional Abstraction for Stochastic Systems (Englisch)
- Neue Suche nach: Katoen, J.-P.
- Neue Suche nach: Klink, D.
- Neue Suche nach: Neuhausser, M.R.
- Neue Suche nach: Katoen, J.-P.
- Neue Suche nach: Klink, D.
- Neue Suche nach: Neuhausser, M.R.
- Neue Suche nach: Ouaknine, J.
- Neue Suche nach: Vaandrager, F.W.
In:
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009 Budapest, Hungary, September 14-16, 2009 Proceedings
5813
;
195-211
;
2009
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Compositional Abstraction for Stochastic Systems
-
Beteiligte:Katoen, J.-P. ( Autor:in ) / Klink, D. ( Autor:in ) / Neuhausser, M.R. ( Autor:in ) / Ouaknine, J. / Vaandrager, F.W.
-
Erschienen in:Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009 Budapest, Hungary, September 14-16, 2009 Proceedings , 5813 ; 195-211LECTURE NOTES IN COMPUTER SCIENCE , 5813 ; 195-211
-
Verlag:
- Neue Suche nach: SPRINGER-VERLAG
-
Erscheinungsdatum:01.01.2009
-
Format / Umfang:17 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 004 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.