Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Artur Meski.

Newcastle AuthorsTitleYearFull text
Artur Meski
Professor Maciej Koutny
Dr Lukasz Mikulski
Reaction Mining for Reaction Systems2024
Artur Meski
Professor Maciej Koutny
 Model Checking for Temporal-Epistemic Properties of Distributed Reaction Systems2019
Artur Meski
Professor Maciej Koutny
Reaction mining for reaction systems2018
Artur Meski
Professor Maciej Koutny
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations2017
Artur Meski
Professor Maciej Koutny
Towards Quantitative Verification of Reaction Systems2016