Home / Authors / Roderick Bloem, Swen Jacobs, Ayrat Khalimov

Books by Roderick Bloem, Swen Jacobs, Ayrat Khalimov

All books by this author

1 books found
Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
Decidability of Parameterized Verification (Synthesis Lectu…
By: Roderick Bloem, Swen Jacobs, Ayrat Khalimov
View Details