Statistics
Publications
1
Citations
88
H-Index
1
Active since
2008
Affiliations
Jan Długosz University(Current)
Wojciech Nabiałek is an author at Jan Długosz University specializing in model checking, formal methods, and real-time systems.
Publications per year
2008–2008
1
1
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski et al. · Fundamenta Informaticae · 2008 · 88 citations
1–1 of 1