EasyChair Smart SlideDocs/Log in
Author: Kedar Namjoshi

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

Synthesis Of Asynchronous Reactive Programs From Temporal Specifications

Synthesis Of Asynchronous Reactive Programs From Temporal Specifications

Suguman Bansal, Kedar Namjoshi and Yaniv Sa'Ar

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