mgr inż. Artur Męski

Model Checking for Reaction and Multi-Agent Systems
prof. dr hab. inż. Wojciech Penczek, Instytut Podstaw Informatyki PAN
Obrona doktorska
17.09.2020 12:00
Instytut Podstaw Informatyki PAN
Pobierz plik (pdf, 451,80 kB)
Powered by eZ Publish™ CMS Open Source Web Content Management. Copyright © 1999-2012 eZ Systems AS (except where otherwise noted). All rights reserved.