Title:
Formal Aspects of Computing
Abbreviated Title:
Form Asp Comp
Publisher:
Springer Nature
ISSN
(Print):
0934-5043
ISSN
(Electronic):
1433-299X
Publication date Created:
January
2008
Publication date
(Electronic):
December
8 2007
Publication date
(Print):
January
2008
Volume: 20
Issue: 1
Pages: 61-77
Article
DOI: 10.1007/s00165-007-0061-4
SO-VID: c0525034-a08e-467d-8a50-291aa8f848b5
Copyright © ©
2008