Stubborn Set Reduction for Two-Player Reachability Games von Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba

Volltext

Stubborn Set Reduction for Two-Player Reachability Games von Frederik Meyer Bønneland, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Muñiz, Marco, Srba, Jiří

Volltext

Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bønneland, Frederik Meyer, Das, Sarbojit, Jonsson, Bengt, Lång, Magnus, Sagonas, Konstantinos

Volltext

Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bønneland, Frederik Meyer, Das, Sarbojit, Jonsson, Bengt, Lång, Magnus, Sagonas, Konstantinos

Volltext bestellen

Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs von Parosh Aziz Abdulla, Atig, Mohamed Faouzi, Frederik Meyer Bønneland, Das, Sarbojit, Jonsson, Bengt, Lång, Magnus, Sagonas, Konstantinos

Volltext