Discrete-time rewards model-checked

S. Andova (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Eindhoven, The Netherlands
    Period4 Nov 2003
    Event titleTalk Zuidelijk Interuniversitair Colloquium - ZIC: null
    Event typeConference
    LocationEindhoven, The Netherlands

    Keywords

    • METIS-215939