EasyChair Smart SlideDocs/Log in
Author: Michael Emmi

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

Automatic Verification of Concurrent Objects

Automatic Verification of Concurrent Objects

Michael Emmi

Specifying Non-Atomic Methods of Concurrent Objects

Specifying Non-Atomic Methods of Concurrent Objects

Michael Emmi

Monitoring Weak Consistency

Monitoring Weak Consistency

Michael Emmi and Constantin Enea

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