Tomasz Janowski
From MaRDI portal
Person:1595889
Available identifiers
zbMath Open janowski.tomaszDBLPj/TomaszJanowskiWikidataQ57782858 ScholiaQ57782858MaRDI QIDQ1595889
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q4412523 | 2003-07-15 | Paper |
| Formalising Feasibility and Correctness of Distributed Business Processes | 2003-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762662 | 2001-02-22 | Paper |
| Dynamic scheduling and fault-tolerance: Specification and verification | 2001-02-18 | Paper |
| Verification of schedulability for real-time programs | 1996-05-27 | Paper |
Research outcomes over time
This page was built for person: Tomasz Janowski
