EasyChair Smart SlideDocs/Log in
Author: Marvin Brieger

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

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs

Marvin Brieger, Stefan Mitsch and André Platzer

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