Formal Aspects of Computing > 2007 > 19 > 2 > 159-189
Source
Abstract
Identifiers
journal ISSN : | 0934-5043 |
journal e-ISSN : | 1433-299X |
DOI | 10.1007/s00165-007-0026-7 |
Formal Aspects of Computing > 2007 > 19 > 2 > 159-189
journal ISSN : | 0934-5043 |
journal e-ISSN : | 1433-299X |
DOI | 10.1007/s00165-007-0026-7 |