Professor Maciej Koutny
Dr Ben Moszkowski
| From Box Algebra to Interval Temporal Logic | 2019 |
|
Dr Ben Moszkowski
| An Application of Temporal Projection to Interleaving Concurrency | 2017 |
|
Professor Maciej Koutny
Dr Ben Moszkowski
| From Petri Nets with Shared Variables to ITL | 2016 |
|
Dr Ben Moszkowski
| An Application of Temporal Projection to Interleaving Concurrency | 2015 |
|
