No. Title Author Year
1 Low-Level Bi-Abduction Holík, Lukáš et al. 2022
2 Low-Level Bi-Abduction (Artifact) Holík, Lukáš et al. 2022
3 OASIcs, Volume 13, MEMICS'09, Complete Volume Hlineny, Petr et al. 2012
4 OASIcs, Volume 16, MEMICS'10, Complete Volume Matyska, Ludek et al. 2012
5 Frontmatter, Preface, Table of Contents, Workshop Organization Matyska, Ludek et al. 2011
6 Hijacking the Linux Kernel Prochazka, Boris et al. 2011
7 Mediating for Reduction (on Minimizing Alternating Büchi Automata) Abdulla, Parosh A. et al. 2009
8 Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09) Hlinený, Petr et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 8

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI