No. Title Author Year
1 Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism Madsen, Magnus et al. 2023
2 Validation of QBF Encodings with Winning Strategies Shaik, Irfansha et al. 2023
3 Concurrent Algorithms and Data Structures for Model Checking (Invited Talk) van de Pol, Jaco 2019
4 A Typical Verification Challenge for the GRID van de Pol, Jaco 2008
Current Page :
Number of result pages: 1
Number of documents: 4


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