STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Ayrat Khalimov | lit.salon
Ayrat Khalimov
No bio available.
Add one in Open Library.
Books by Ayrat Khalimov (50 max)
+ shelf
+ list
Decidability of Parameterized Verification
2015
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov
