Login / Signup

Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata.

Ahmed BouajjaniPeter HabermehlLukás HolíkTayssir TouiliTomás Vojnar
Published in: CIAA (2008)
Keyphrases