Show simple item record

Bartha, Tamás
Vörös, András
2018-11-06T14:48:11Z
2018-11-06T14:48:11Z
2018
http://hdl.handle.net/10890/5646
enhu_HU
Symbolic verification of petri net based modelshu_HU
Petri háló alapú modellek szimbolikus verifikációjahu_HU
Disszertációhu
Informatikai Tudományok Doktori Iskolahu_HU
Villamosmérnöki és Informatikai Karhu_HU
2018-11-30
000646271
Budapesti Műszaki és Gazdaságtudományi Egyetemhu_HU
Ph.D. Thesishu_HU


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record