| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Jacek Blazewicz, Dorota Formanowicz, Piotr Formanowicz, Andrea Sackmann, Michal Sajkowski: Modeling the process of human body iron homeostasis using a variant of timed Petri nets. Discrete Applied Mathematics 157(10): 2221-2231 (2009) |
| 2000 | ||
| 2 | EE | Jerzy Brzezinski, Michal Sajkowski: Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure. SRDS 2000: 84-93 |
| 1984 | ||
| 1 | Michal Sajkowski: Protocol Verification Techniques: Status Quo and Perspectives. PSTV 1984: 697-720 | |
| 1 | Jacek Blazewicz | [3] |
| 2 | Jerzy Brzezinski | [2] |
| 3 | Dorota Formanowicz | [3] |
| 4 | Piotr Formanowicz | [3] |
| 5 | Andrea Sackmann | [3] |