Statistics
Publications
7
Citations
468
H-Index
7
Active since
1980
Affiliations
Polish Academy of Sciences(Current)
Piotr Dembiński is an author at Polish Academy of Sciences specializing in computer science, computing, and formal methods.
Publications per year
1980–2018
7
7
Verics: A Tool for Verifying Timed Automata and Estelle Specifications
Piotr Dembiński, Agata Janowska, Paweł Janowski et al. · 2003 · 25 citations
1–5 of 7