Lars Bo Park Frydenskov – Publikationer — Aalborg Universitets forskningsportal

E-maillbpfcs.aaudk

Selma Lagerløfs Vej 300
9220 Aalborg Øst
Danmark

Publikationer pr. år

1 Konferenceartikel i proceeding

1 resultater

2023
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics
Carlsen, F. B. Ø., Frydenskov, L. B. P., Jensen, N. Ø., Jenner Rasmussen, J., Sørensen, M. M., Geel Weirsøe, A., Jensen, M. C. & Larsen, K. G., 30 sep. 2023, Proceedings af the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). Italien: Open Publishing Association, Bind 390. s. 99-114 16 s. (Electronic Proceedings in Theoretical Computer Science).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
24 Downloads (Pure)