mgr. inż. Michał Knapik

Parametric Model Checking
prof. dr hab. inż. Wojciech Penczek, Instytutu Podstaw Informatyki PAN
Obrona doktorska
18.04.2016 13:00
Instytutu Podstaw Informatyki PAN
Pobierz plik (msword, 26,50 kB)
Powered by eZ Publish™ CMS Open Source Web Content Management. Copyright © 1999-2012 eZ Systems AS (except where otherwise noted). All rights reserved.