DMCA

Parameter Synthesis for Timed Kripke Structures Extended Abstract

by Wojciech Penczek