An on-the-fly, multi-threaded ATL model checker on concurrent game structures
Stats
Loading...
Loading
--