Parametric Linear Dynamic Logic



Faymonville, Peter and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2014) Parametric Linear Dynamic Logic. .

[img] Text
fz.pdf - Published Version

Download (176kB) | Preview
Item Type: Conference or Workshop Item
Depositing User: Symplectic Admin
Date Deposited: 15 Jul 2019 12:55
Last Modified: 14 Nov 2019 13:16
DOI: 10.4204/eptcs.161.8
URI: http://livrepository.liverpool.ac.uk/id/eprint/3049690
Repository Staff Access