User menu

All Publications

Displaying 1 result.
    • Journal article
    Statistical Model Checking the 2018 Edition!
    Guldstrand Larsen, Kim Legay, Axel[UCL] (2018) Statistical Model Checking the 2018 Edition! — , p. pp 261-270 (2018)