A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas

von Yu, Emily
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)

ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving

von Heisinger, Maximilian
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Tests and proofs : 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings

Veröffentlicht 2014

Theory and applications of satisfiability testing - SAT 2020 : 23rd international conference, Alghero, Italy, July 3-10, 2020 : proceedings

Veröffentlicht 2020

QBFFam: A Tool for Generating QBF Families from Proof Complexity

von Beyersdorff, Olaf
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

UML classroom : eine Einführung in die objektorientierte Modellierung

Veröffentlicht 2012

UMLclassroom : an introduction to object-oriented modeling

von Seidl, Martina
Veröffentlicht 2015

Software technologies: applications and foundations : STAF 2017 collocated Workshops, Marburg, Germany, July 17-21, 2017 : revised selected papers

Veröffentlicht 2018

Computational Logic in the First Semester of Computer Science: An Experience Report

von Cerna, David M.
Veröffentlicht in CSEDU (12. : 2020 : Online) CSEDU 2020 ; Volume 2 (2020)