Write a Blog >>
SLE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
SPLASH 2019 (series) / SLE 2019 (series) / Michalis Kokologiannakis
Michalis Kokologiannakis

Registered user since Thu 2 Nov 2017

Name:Michalis Kokologiannakis
Country:Greece
Affiliation:MPI-SWS, Germany
Personal website:https://people.mpi-sws.org/~michalis

Contributions

SPLASH 2019 Effective Lock Handling in Stateless Model Checking
Effective Lock Handling in Stateless Model Checking
Effective Lock Handling In Stateless Model Checking
Show activities from other conferences

SPLASH 2019-profile
View general profile