Formal Aspects of Computing > 2017 > 29 > 1 > 1-2
Source
Identifiers
journal ISSN : | 0934-5043 |
journal e-ISSN : | 1433-299X |
DOI | 10.1007/s00165-016-0408-9 |
Formal Aspects of Computing > 2017 > 29 > 1 > 1-2
journal ISSN : | 0934-5043 |
journal e-ISSN : | 1433-299X |
DOI | 10.1007/s00165-016-0408-9 |