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). pp. 237-256.

This list was generated on Sun Feb 25 08:39:23 2024 GMT.