Model Checking ATL* on vCGS (2019)
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: -