EasyChair Smart SlideUser guide
Author: Ilina Stoilkovska

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

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

Ilina Stoilkovska

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