A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments (2013)

First Author: Panagiotis K
Attributed to:  Trusted Autonomous Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: 23rd International Joint Conference on Artificial Intelligence (IJCAI13)