Peter Drábik

From MaRDI portal
Person:4621145

Available identifiers

zbMath Open drabik.peterMaRDI QIDQ4621145

List of research outcomes





PublicationDate of PublicationType
Modular Verification of Qualitative Pathway Models with Fairness2019-02-08Paper
https://portal.mardi4nfdi.de/entity/Q46211462019-02-08Paper
Better and Faster Spectra Analysis Using Analytical Programming on CUDA2015-06-29Paper
Modular Verification of Interactive Systems with an Application to Biology2014-03-21Paper
On Conditions for Modular Verification in Systems of Synchronising Components2013-01-14Paper

Research outcomes over time

This page was built for person: Peter Drábik

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