Extensions and generalization of the saturation algorithm in model checking

Advisor	Majzik, István
Author	Molnár, Vince
Date Accessioned	2020-01-27T08:47:55Z
Date Available	2020-01-27T08:47:55Z
Date Issued	2019
URI	http://hdl.handle.net/10890/13340
Language	en	hu_HU
Title	Extensions and generalization of the saturation algorithm in model checking	hu_HU
Alternative	A szaturáció algoritmus kiterjesztése és általánosítása modellellenőrzéshez	hu_HU
Type	Disszertáció	hu
Date Defence	2020-02-18
Doctoral School	Informatikai Tudományok Doktori Iskola	hu_HU
Faculty	Villamosmérnöki és Informatikai Kar	hu_HU
Other Identifier: BME OMIKK Aleph	000712305
Other Identifier: BME OMIKK call-number	K-9714
Gender	Ph.D. Thesis	hu_HU
University	Budapesti Műszaki és Gazdaságtudományi Egyetem	hu_HU

Files

Now showing 1 - 3 of 3

Now showing 1 - 1 of 1