Login / Signup

Automata for Monadic Second-Order Model-Checking.

Bruno Courcelle
Published in: RP (2011)
Keyphrases