Margus Veanes

Identifiers

No identifiers captured yet.

Papers (1)

1. Simulation Algorithms for Symbolic Automata (Technical Report) cs.LO · 2018 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Juraj S\'i\v{c} 1 shared papers
• Luk\'a\v{s} Hol\'ik 1 shared papers
• Ond\v{r}ej Leng\'al 1 shared papers
• Tom\'a\v{s} Vojnar 1 shared papers