Journal title
Formal Aspects of Computing
DOI
10.1007/s00165-011-0180-9
Issue
3
Volume
25
Last updated
2025-07-21T17:52:38.747+01:00
Page
345-363
Symplectic ID
590360
Submitted to ORA
Off
Favourite
Off
Publication type
Journal Article
Publication date
11 May 2013