EasyChair Smart SlideUser guide
Author: Sylvain Conchon

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

Alt-Ergo 2.2

Alt-Ergo 2.2

Mohamed Iguernlala, Sylvain Conchon and Albin Coquereau

Cubicle-W: Parameterized Model Checking on Weak Memory

Cubicle-W: Parameterized Model Checking on Weak Memory

Sylvain Conchon, David Declerck and Fatiha Zaidi

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair