First Page | Document Content | |
---|---|---|
Date: 2015-10-02 08:42:50Temporal logic Logic in computer science Computation tree logic Linear temporal logic CTL* | Synthesis Sven S hewe University of Liverpool AVACS Autumn S hool, O tober 2nd , 2015Add to Reading ListSource URL: www.avacs.orgDownload Document from Source WebsiteFile Size: 1,67 MBShare Document on Facebook |