Search Results - Rasmussen, Jener

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

    CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics by Carlsen, Falke B. Ø., Frydenskov, Lars Bo P., Jensen, Nicolaj Ø., Rasmussen, Jener, Sørensen, Mathias M., Weirsøe, Asger G., Jensen, Mathias C., Larsen, Kim G.

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

    CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics by Falke B Ø Carlsen, Lars Bo P Frydenskov, Jensen, Nicolaj Ø, Rasmussen, Jener, Sørensen, Mathias M, Weirsøe, Asger G, Jensen, Mathias C, Larsen, Kim G

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: