Klaus v. Gleissenthall - PLDI 2022

Mon 13 - Fri 17 June 2022 San Diego, California, United States

Registered user since Mon 28 Aug 2017

Name:Klaus v. Gleissenthall

Affiliation:Vrije Universiteit Amsterdam, Netherlands

Personal website: http://goto.ucsd.edu/~gleissen/

Contributions

2022

PLDI

CORA

Pretend synchrony: synchronous verification of asynchronous distributed programs

Show activities from other conferences

PLDI 2022-profile
View general profile

	
		OSZAR »