Show simple item record

dc.contributor.advisorMajzik, István
dc.contributor.authorMolnár, Vince
dc.date.accessioned2020-01-27T08:47:55Z
dc.date.available2020-01-27T08:47:55Z
dc.date.issued2019
dc.identifier.urihttp://hdl.handle.net/10890/13340
dc.languageenhu_HU
dc.titleExtensions and generalization of the saturation algorithm in model checkinghu_HU
dc.title.alternativeA szaturáció algoritmus kiterjesztése és általánosítása modellellenőrzéshezhu_HU
dc.typeDisszertációhu
dc.publisher.doctoral-schoolInformatikai Tudományok Doktori Iskolahu_HU
dc.publisher.facultyVillamosmérnöki és Informatikai Karhu_HU
dc.date.defence2020-02-18
dc.publisher.universityBudapesti Műszaki és Gazdaságtudományi Egyetemhu_HU
dc.type.typePh.D. Thesishu_HU


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record