Formal Aspects of Computing > 2004 > 16 > 1 > 80-94
Source
Abstract
Identifiers
journal ISSN : | 0934-5043 |
journal e-ISSN : | 1433-299X |
DOI | 10.1007/s00165-003-0027-0 |
Formal Aspects of Computing > 2004 > 16 > 1 > 80-94
journal ISSN : | 0934-5043 |
journal e-ISSN : | 1433-299X |
DOI | 10.1007/s00165-003-0027-0 |