Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


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


Faymonville, Peter and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2017) Parametric Linear Dynamic Logic. Information and Computation, 253 (Part 2). 237 - 256.

This list was generated on Wed Sep 8 03:40:08 2021 BST.