Vol-3429⫷ Vol-3430 ⫸Vol-3431
urn:nbn:de:0074-3430-0


Vol-3430/xpreface⫷Vol-3430/keynote⫸Vol-3430/paper1
Wojciech Penczek

Model Checking of Strategic Timed Temporal Logics (Invited Talk)