Show simple item record

Majzik, István
Molnár, Vince
2020-01-27T08:47:55Z
2020-01-27T08:47:55Z
2019
http://hdl.handle.net/10890/13340
enhu_HU
Extensions and generalization of the saturation algorithm in model checkinghu_HU
A szaturáció algoritmus kiterjesztése és általánosítása modellellenőrzéshezhu_HU
Disszertációhu
Informatikai Tudományok Doktori Iskolahu_HU
Villamosmérnöki és Informatikai Karhu_HU
2020-02-18
000712305
Budapesti Műszaki és Gazdaságtudományi Egyetemhu_HU
Ph.D. Thesishu_HU
K-9714


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record