Wojtek Penczek in Clausthal
Prof. Dr. Wojciech Penczek from Institute of Computer Science, PAS, Warsaw, Poland
Prof. Dr. Wojciech Penczek from Institute of Computer Science, PAS, Warsaw, Poland and
Institute for Informatics, Podlasie Academy, Siedlce, Poland will speak on "Bounded Parametric Model Checking for Elementary Net Systems".