Model Checking ATL* on vCGS (2019)

First Author: Bellardineli F
Attributed to:  Academic Centre of Excellence in Cyber Security Research - University of Surrey funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://arxiv.org/abs/1903.04350

Type: Technical Report

Volume: -

Issue: -

ISBN: -