| |
| 2007 | ||
|---|---|---|
| 2 | EE | Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parizek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma: CoCoME in Fractal. CoCoME 2007: 357-387 |
| 2006 | ||
| 1 | EE | Pavel Jezek, Jan Kofron, Frantisek Plasil: Model Checking of Component Behavior Specification: A Real Life Experience. Electr. Notes Theor. Comput. Sci. 160: 197-210 (2006) |
| 1 | Lubomír Bulej | [2] |
| 2 | Tomás Bures | [2] |
| 3 | Thierry Coupaye | [2] |
| 4 | Martin Decký | [2] |
| 5 | Jan Kofron | [1] |
| 6 | Pavel Parizek | [2] |
| 7 | Frantisek Plasil | [1] [2] |
| 8 | Tomás Poch | [2] |
| 9 | Nicolas Rivierre | [2] |
| 10 | Ondrej Sery | [2] |
| 11 | Petr Tuma | [2] |