T2: temporal property verification (2016)

First Author: Brockschmidt M,

Attributed to: Resource Reasoning funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://research.microsoft.com/apps/pubs/default.aspx?id=260206

Type: Conference/Paper/Proceeding/Abstract