• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics.

Falke B. Ø. CarlsenLars Bo P. FrydenskovNicolaj Ø. JensenJener RasmussenMathias M. SørensenAsger G. WeirsøeMathias Claus JensenKim G. Larsen
Published in: GandALF (2023)
Keyphrases