Michal Sajkowski

Publication Activity (10 Years)

Years Active: 1984-2011
Publications (10 Years): 0

Publications

Jerzy Brzezinski, Dariusz Dwornikowski, Michal Kalewski, Tomasz Pawlak, Michal Sajkowski
MDL: Metrics Definition Language. ACIIDS (1) (2011)
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. Discret. Appl. Math. 157 (10) (2009)
Jerzy Brzezinski, Michal Sajkowski
Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure. SRDS (2000)
Michal Sajkowski
Protocol Verification Techniques: Status Quo and Perspectives. PSTV (1984)