Browsing by Author "Leue, Stefan"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems(Institute of electrical and electronics engineers, 2013) Leue, Stefan; Wei, Wei