DMCA

IOS Press Parameter Synthesis for Timed Kripke Structures∗

Cached

Download Links

by Michał Knapik , Wojciech Penczek