Michal Sajkowski

	2009
3		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		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

Coauthor Index

1	Jacek Blazewicz	[3]
2	Jerzy Brzezinski	[2]
3	Dorota Formanowicz	[3]
4	Piotr Formanowicz	[3]
5	Andrea Sackmann	[3]

Colors in the list of coauthors