Synthesis Digital Library Update September, 2015
The Following Lectures Were Published in September Decidability of Parameterized Verification Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, and Josef Widder Graz University of Technology, Saarland University, Vienna University of Technology, and University of Naples … Continue reading