Skip to content

Congruence Relations for Bchi Automata.

Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

VenueBFM
Year2021
ProceedingsFM

Browse the full FM paper archive.