EasyChair Smart SlideDocs/Log in
Author: Kailiang Ji

This page shows all presentations of this author published in EasyChair Smart Slide.

On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony

On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony

Ahmed Bouajjani, Constantin Enea, Kailiang Ji and Shaz Qadeer

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair