Vince Molnár

From MaRDI portal
Person:510889

Available identifiers

zbMath Open molnar.vinceMaRDI QIDQ510889

List of research outcomes





PublicationDate of PublicationType
Saturation Enhanced with Conditional Locality: Application to Petri Nets2024-01-29Paper
Saturation-Based Incremental LTL Model Checking with Inductive Proofs2019-09-17Paper
Getting the priorities right: saturation for prioritised Petri nets2018-08-20Paper
Component-wise incremental LTL model checking2017-02-14Paper
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models2016-10-04Paper

Research outcomes over time

This page was built for person: Vince Molnár

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