EasyChair Smart SlideDocs/Log in
Author: Lucas Bueri

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

Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems

Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems

Marius Bozga, Lucas Bueri and Radu Iosif

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