| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 2 |      | Tomas Hlavaty, Václav Skala: Combinatories and Triangulations. ICCSA (3) 2004: 81-89 |
| 2001 | ||
| 1 | | 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] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page