EasyChair Smart SlideDocs/Log in
Author: Simon Jantsch

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

Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata

Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata

Simon Jantsch and Michael Norrish

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