Martin Kot - Various texts

Some texts writen during my PhD study

Object oriented technologies

Factory - Text about use of design pattern Factory in JAVA API's classes

Text (in czech) - pdf file
Powerpoint presentation (in czech)

Petri Nets

State Space Explosion Problem - Text about state space explosion problem which arises from use of state space methods for verification of concurrent systems.

Text - pdf file
Text (in czech) - ps file

XY-pic

Příručka k LaTeXovému balíku XY-pic - A tutorial on XY-pic LaTeX package (in czech)

Manual - pdf file