Best paper award at SEMF 2015

SEFM2015 BPAward

MichaƂ Knapik, M.Sc., Dr Artur Niewiadomski i Prof. Wojciech Penczek were granted th "Best Paper Award" at SEFM 2015 in York (September 7-11, 2015) for the paper "Generating None-Plans in Order to Find Plans". The paper was partly financed under the project titled "New methods for parametric model verification", financed by the National Science Centre based on decision no. DEC-2012/07/N/ST6/03426




ATTENTION! This site uses cookies and similar technologies.

If you do not change your browser settings, you automatically agree to this.

I understand