Loading…

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

Saved in:

Bibliographic Details
Main Authors:	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.
Format:	Conference Proceeding
Language:	English
Citations:	Items that this one cites
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!