Toggle navigation
English
magyar
English
English
magyar
Login
Toggle navigation
View Item
DSpace Home
Disszertációk (ELTE PHD)
Informatikai Kar PHD
Informatika Doktori Iskola
View Item
DSpace Home
Disszertációk (ELTE PHD)
Informatikai Kar PHD
Informatika Doktori Iskola
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Verification of Computer-Based Software with Model Checking
Dávid Ákos
Date:
2012
URI:
http://hdl.handle.net/10831/39551
Link to Library Catalogue:
https://opac.elte.hu/Record/opac-EUL01-000828258
Otherlink:
http://www.doktori.hu/index.php?menuid=193&vid=11578
Show full item record
Files in this item
Name:
Kd_12427.pdf
Size:
3.544Mb
Format:
PDF
Share:
View/
Open
Name:
Kd_12427_tézis.pdf
Size:
1.178Mb
Format:
PDF
Share:
View/
Open
Name:
Kd_12427_tézis_angol.pdf
Size:
1.169Mb
Format:
PDF
Share:
View/
Open
Search DSpace
This Collection
Advanced Search
Search by topic
Browse
All of DSpace
Communities & Collections
Issue Date
Authors
Titles
Subjects
Submit Date
This Collection
Issue Date
Authors
Titles
Subjects
Submit Date
My Account
Login
Register