Michal Sajkowski
Orcid: 0000-0003-0875-992X
According to our database1,
Michal Sajkowski
authored at least 5 papers
between 1984 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the Advanced SOA Tools and Applications, 2014
2011
Proceedings of the Intelligent Information and Database Systems, 2011
2009
Modeling the process of human body iron homeostasis using a variant of timed Petri nets.
Discret. Appl. Math., 2009
2000
Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure.
Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000
1984
Protocol Verification Techniques: Status Quo and Perspectives.
Proceedings of the Protocol Specification, 1984