Radosław Klimek

From MaRDI portal
Person:2018422

Available identifiers

zbMath Open klimek.radoslawMaRDI QIDQ2018422

List of research outcomes





PublicationDate of PublicationType
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models2019-06-20Paper
A system for deduction-based formal verification of workflow-oriented software models2015-04-14Paper
https://portal.mardi4nfdi.de/entity/Q38406711998-08-10Paper
https://portal.mardi4nfdi.de/entity/Q40313271993-04-01Paper

Research outcomes over time

This page was built for person: Radosław Klimek

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