EasyChair Smart SlideDocs/Log in
Author: Yong Li

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

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Vardi and Lijun Zhang

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