| |
| 2008 | ||
|---|---|---|
| 2 | EE | Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Inform. 85(1-4): 313-328 (2008) |
| 1 | EE | Wojciech Nabialek, Agata Janowska, Pawel Janowski: Translation of Timed Promela to Timed Automata with Discrete Data. Fundam. Inform. 85(1-4): 409-424 (2008) |
| 1 | Agata Janowska | [1] |
| 2 | Pawel Janowski | [1] |
| 3 | Magdalena Kacprzak | [2] |
| 4 | Artur Niewiadomski | [2] |
| 5 | Wojciech Penczek | [2] |
| 6 | Agata Pólrola | [2] |
| 7 | Maciej Szreter | [2] |
| 8 | Bozena Wozna | [2] |
| 9 | Andrzej Zbrzezny | [2] |