Quantitative Models: Expressiveness and Analysis: Dagstuhl Seminar 10031, Jan 18-22, 2010

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationDagstuhl Seminar Proceedings
Pages1-2
Publication statusPublished - 2010
Peer-reviewedYes

Publication series

SeriesDagstuhl Seminar Proceedings
Volume10031
ISSN1862-4405

Seminar

TitleQuantitative Models: Expressiveness and Analysis 2010
SubtitleQuantitative Models: Expressiveness and Analysis
Conference number10031
Duration17 - 22 January 2010
Website
Degree of recognitionInternational event
LocationSchloss Dagstuhl
CityWadern
CountryGermany

External IDs

ORCID /0000-0002-5321-9343/work/228232894

Keywords

ASJC Scopus subject areas

Keywords

  • probabilistic systems, quantitative analysis, quantitative models, timed and hybrid systems, weighted automata