Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wojciech Penczek
conf.researchr.org general profile
ETAPS 2019 profile
Not registered as user
Name:
Wojciech Penczek
Country:
Poland
Affiliation:
IPI-PAN
Personal website:
http://www.ipipan.waw.pl/~penczek/
Contributions
2019
SynCoP
Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Author of SMT-based bounded model checking for parametric reaction systems within the SynCoP-track
Share
x
Tue 28 Oct 06:07
