EasyChair Smart SlideUser guide
Author: Peter Gjøl Jensen

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

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz and Jiri Srba

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