Show simple item record

Majzik, István
Tóth, Tamás
2021-10-12T13:01:28Z
2021-10-12T13:01:28Z
2021
http://hdl.handle.net/10890/15788
enhu_HU
Abstraction refinement-based verification of timed automatahu_HU
Időzített automaták absztrakciófinomítás-alapú verifikációjahu_HU
Disszertációhu
Informatikai Tudományok Doktori Iskolahu_HU
Villamosmérnöki és Informatikai Karhu_HU
2021-11-26
000723788
Budapesti Műszaki és Gazdaságtudományi Egyetemhu_HU
Doktori (Ph.D.) értekezés / Ph.D. Thesishu_HU
K-9908


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record