Browsing by Author "Meyer, Roland"

Now showing items 1-2 of 2

Title: BMC for Weak Memory Models Author(s): Gavrilenko, Natalia; Ponce-de-León, Hernán; Furbach, Florian; Heljanko, Keijo; Meyer, Roland Date: 2019-01-01 Series: Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 11561 LNCS
Title: Summaries for Context-Free Games Author(s): Holik, Lukas; Meyer, Roland; Muskalla, Sebastian Date: 2016 Series: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), Leibniz International Proceedings in Informatics, Volume 65