Artur Męski

From MaRDI portal
Person:1749192

Available identifiers

zbMath Open meski.arturMaRDI QIDQ1749192

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49925182021-06-09Paper
Model checking temporal properties of reaction systems2018-05-16Paper
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations2018-01-19Paper
Towards Quantitative Verification of Reaction Systems2016-09-28Paper
SMT-Based Reachability Checking for Bounded Time Petri Nets2015-06-26Paper
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets2011-11-10Paper

Research outcomes over time

This page was built for person: Artur Męski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1749192&oldid=6393202"
Powered by MediaWiki