Discrete-time rewards model-checked (to appear)

S. Andova, H. Hermanns, Joost P. Katoen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationFormal modeling and analysis of timed systems: FORMATS
    EditorsK.G. Larsen, P. Niebert
    Place of PublicationBerlin
    PublisherSpringer
    Pages88-104
    Number of pages16
    ISBN (Print)3-540-21671-1
    Publication statusPublished - 6 Sep 2003
    Event1st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2003 - Marseille, France
    Duration: 6 Sep 20037 Sep 2003
    Conference number: 1

    Publication series

    Name
    NumberVIII
    Volume2791
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Workshop

    Workshop1st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2003
    Abbreviated titleFORMATS
    CountryFrance
    CityMarseille
    Period6/09/037/09/03

    Keywords

    • METIS-217627

    Cite this