Title:
Formal Aspects of Computing
Abbreviated Title:
Form Asp Comp
Publisher:
Springer Nature
ISSN
(Print):
0934-5043
ISSN
(Electronic):
1433-299X
Publication date Created:
July
2016
Publication date
(Electronic):
May
13 2016
Publication date
(Print):
July
2016
Volume: 28
Issue: 4
Pages: 597-613
Article
DOI: 10.1007/s00165-016-0372-4
SO-VID: 9cf45b09-1d4c-40b7-b53e-43392e8feeb8
Copyright © ©
2016