EasyChair Smart SlideDocs/Log in
Author: R. Govind

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

Abstractions for the Local-Time Semantics of Timed Automata: a Foundation for Partial-Order Methods

Abstractions for the Local-Time Semantics of Timed Automata: a Foundation for Partial-Order Methods

R. Govind, Frédéric Herbreteau, B Srivathsan and Igor Walukiewicz

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