Detail konference

Petr Novosad: Hybrid Petri nets state space representation using coverability graphs and unfoldings

Seznam událostí

Místo konání

FIT A112 - 13:00

Typ akce

seminář

Druh akce

interní

Termín konání

12.03.2015

Naposledy změnil