Wojciech Nabialek

	2008
2		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		Wojciech Nabialek, Agata Janowska, Pawel Janowski: Translation of Timed Promela to Timed Automata with Discrete Data. Fundam. Inform. 85(1-4): 409-424 (2008)

Coauthor Index

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]