Discrete-time rewards model-checked

S. Andova (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Marseille, France
    Period6 Sep 2003
    Event title1st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2003
    Event typeWorkshop
    Conference number1
    LocationMarseille, France

    Keywords

    • METIS-216243