Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Ben Moszkowski.

Newcastle AuthorsTitleYearFull text
Professor Maciej Koutny
Dr Ben Moszkowski
From Box Algebra to Interval Temporal Logic2019
Dr Ben Moszkowski
An Application of Temporal Projection to Interleaving Concurrency2017
Professor Maciej Koutny
Dr Ben Moszkowski
From Petri Nets with Shared Variables to ITL2016
Dr Ben Moszkowski
An Application of Temporal Projection to Interleaving Concurrency2015