Fingeraftryk
Dyk ned i forskningsemnerne om 'CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics
Falke Bjernemose Øtker Carlsen*, Lars Bo Park Frydenskov, Nicolaj Østerby Jensen*, Jacob Jenner Rasmussen, Mathias Mehl Sørensen, Ager Geel Weirsøe, Mathias Claus Jensen, Kim Guldstrand Larsen
*Kontaktforfatter
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
24
Downloads
(Pure)