Tomas Hlavaty

Publication Activity (10 Years)

Years Active: 2001-2004
Publications (10 Years): 0

Publications

Tomas Hlavaty, Václav Skala
Combinatories and Triangulations. ICCSA (3) (2004)
Tomas Hlavaty, Libor Preucil, Petr Stepan
Case Study: Formal Specification and Verification of Railway Interlocking System. EUROMICRO (2001)