Formal Aspects of Computing > 2006 > 18 > 3 > 288-307
Source
Abstract
Identifiers
journal ISSN : | 0934-5043 |
journal e-ISSN : | 1433-299X |
DOI | 10.1007/s00165-006-0001-8 |
Formal Aspects of Computing > 2006 > 18 > 3 > 288-307
journal ISSN : | 0934-5043 |
journal e-ISSN : | 1433-299X |
DOI | 10.1007/s00165-006-0001-8 |