2020-11-24 09:35 |
Acm Computing Surveys, 53 (3), 51 (2020)
01 June 2020 |
Journal Articles |
Detailed record - Similar records
|
2020-03-13 02:20 |
Formal Methods In System Design, 55 (2), 73-102 (2019)
01 December 2019 |
Journal Articles |
Detailed record - Similar records
|
2020-03-03 11:00 |
Plos Computational Biology, 16 (1), e1007494 (2020)
01 January 2020 |
Journal Articles |
Detailed record - Similar records
|
2019-09-06 02:21 |
Computing, 101 (9), 1227-1240 (2019)
01 September 2019 |
Journal Articles |
Detailed record - Similar records
|
2019-08-14 08:24 |
Detailed record - Similar records
|
2019-06-18 11:47 |
Communications Biology, 2, 138 (2019)
23 April 2019 |
Journal Articles |
Detailed record - Similar records
|
2019-01-10 09:30 |
Detailed record - Similar records
|
2018-06-28 12:47 |
Lecture Notes in Computer Science, 9207, 217-233 (2015)
14 July 2015 |
Conference Papers |
Detailed record - Similar records
|
2018-06-28 12:44 |
Proceedings of the International Conference on Computer Aided Verification, 9207, 198-216 (2015)
14 July 2015 |
Conference Papers |
Detailed record - Similar records
|
2018-06-28 12:39 |
Electronic Proceedings in Theoretical Computer Science, 229, 100-111 (2017)
03 May 2017 |
Conference Papers |
Detailed record - Similar records
|
|
|