EasyChair Smart SlideDocs/Log in
Author: Ákos Hajdu

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

Backward reachability analysis for timed automata with data variables

Backward reachability analysis for timed automata with data variables

Rebeka Farkas, Tamás Tóth, Ákos Hajdu and András Vörös

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