Formal Aspects of Computing > 2017 > 29 > 3 > 381-382
Source
Identifiers
journal ISSN : | 0934-5043 |
journal e-ISSN : | 1433-299X |
DOI | 10.1007/s00165-017-0427-1 |
Formal Aspects of Computing > 2017 > 29 > 3 > 381-382
journal ISSN : | 0934-5043 |
journal e-ISSN : | 1433-299X |
DOI | 10.1007/s00165-017-0427-1 |