| |
| 2004 | ||
|---|---|---|
| 2 | EE | Tomas Hlavaty, Václav Skala: Combinatories and Triangulations. ICCSA (3) 2004: 81-89 |
| 2001 | ||
| 1 | EE | Tomas Hlavaty, Libor Preucil, Petr Stepan: Case Study: Formal Specification and Verification of Railway Interlocking System. EUROMICRO 2001: 258-263 |
| 1 | Libor Preucil | [1] |
| 2 | Václav Skala | [2] |
| 3 | Petr Stepan | [1] |