| |
| 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 | Jerzy Brzezinski | [2] |