The Library
Algorithmic games for full ground references
Tools
Murawski, Andrzej S. and Tzevelekos, Nikos (2018) Algorithmic games for full ground references. Formal Methods in System Design, 52 (3). pp. 277-314. doi:10.1007/s10703-017-0292-9 ISSN 0925-9856.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/s10703-017-0292-9
Item Type: | Journal Article | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | Formal Methods in System Design | ||||
Publisher: | Springer | ||||
ISSN: | 0925-9856 | ||||
Official Date: | June 2018 | ||||
Dates: |
|
||||
Volume: | 52 | ||||
Number: | 3 | ||||
Page Range: | pp. 277-314 | ||||
DOI: | 10.1007/s10703-017-0292-9 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Open Access (Creative Commons) |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |