EasyChair Smart SlideUser guide
Author: Paul Kröger

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

Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking

Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking

Janis Kröger, Paul Kröger and Martin Fränzle

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