Guaranteed Verification of Dynamic Systems
Guaranteed Verification of Dynamic Systems
Stefan Schwab
Details
OL Work ID
OL34311618W
Find this book
Open Library