Author
- Vašek, Vladimír, 1948- 7 results
- Bobál, Vladimír, 1942- 3 results
- Prokop, Roman, 1952- 2 results
- Adámek, Milan, 1967- 1 results
- Bambuch, Jozef 1 results
- Barnet, Tomáš 1 results
- Bernado, Marco 1 results
- Blackman, M. 1 results
- Bližňák, Michal 1 results
- Bobál, Vladimír 1 results
- Cheng, Albert M. K. 1 results
- Corradini, Flavio, 1966- 1 results
- Dolinay, Jan 1 results
- Hlaváček, Marek 1 results
- Hrnčiřík, Karel 1 results
- Hruška, František, 1941- 1 results
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Itálie 1 results
- Juřica, Miroslav 1 results
- KORBEL, Jiří 1 results
- Kacálek, Roman 1 results
- Klofáč, Jiří 1 results
- Korec, Jan 1 results
- Krčmář, Jakub 1 results
- Li, Qing, 1971- 1 results
- Ljung, Lennart, 1946- 1 results
- Lukačovič, Petr 1 results
- Svoboda, Radek 1 results
- Warzel, Petr 1 results
- Yao, Caroline 1 results
- Červinka, Richard 1 results
- Šindelář, Petr 1 results