Browsing by Author "Jovanovic, Aleksandra"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item Integer Parameter Synthesis for Real-Time Systems(Institute of electrical and electronics engineers, 2015) Jovanovic, Aleksandra; Lime, Didier; Roux, Olivier H.