A Hot Method for Synthesising Cool Controllers



Husien, I , Berthier, N and Schewe, S (2017) A Hot Method for Synthesising Cool Controllers. In: International SPIN Symposium on Model Checking of Software, 2017-07-13 - 2017-07-14, Santa Barbara, California, United States.

[img] Text
spin17main-mainid35-p-999d6c1-32247M-final.pdf - Submitted Version

Download (851kB)
Item Type: Conference or Workshop Item (UNSPECIFIED)
Depositing User: Symplectic Admin
Date Deposited: 12 Jul 2017 08:28
Last Modified: 08 Jan 2018 08:11
URI: http://livrepository.liverpool.ac.uk/id/eprint/3008410

Actions (Repository Staff Only)

Edit Item Edit Item
   
 

These pages are maintained by Library Staff @ University of Liverpool Library