..:: Martin Kot ::..
Some texts writen during my PhD study
Object oriented technologies
Factory - Text about use of design pattern Factory in JAVA API's classes
 
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.
 
XY-pic
Příručka k LaTeXovému balíku XY-pic - A tutorial on XY-pic LaTeX package (in czech)