Automata for monadic second-order model-checking

  • Authors:
  • Bruno Courcelle

  • Affiliations:
  • Université Bordeaux-1, LaBRI, CNRS, Talence, France

  • Venue:
  • RP'11 Proceedings of the 5th international conference on Reachability problems
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract