Symbolic verification of petri net based models
| Bartha, Tamás | ||
| Vörös, András | ||
| 2018-11-06T14:48:11Z | ||
| 2018-11-06T14:48:11Z | ||
| 2018 | ||
| http://hdl.handle.net/10890/5646 | ||
| en | hu_HU | |
| Symbolic verification of petri net based models | hu_HU | |
| Petri háló alapú modellek szimbolikus verifikációja | hu_HU | |
| Disszertáció | hu | |
| 2018-11-30 | ||
| Informatikai Tudományok Doktori Iskola | hu_HU | |
| Villamosmérnöki és Informatikai Kar | hu_HU | |
| 000646271 | ||
| Ph.D. Thesis | hu_HU | |
| Budapesti Műszaki és Gazdaságtudományi Egyetem | hu_HU |
Files
Original bundle
1 - 3 of 3
Loading...
- Name:
- ertekezes.pdf
- Size:
- 3.27 MB
- Format:
- Adobe Portable Document Format
- Description:
- Értekezés
Loading...
- Name:
- tezis_hun.pdf
- Size:
- 1.14 MB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (magyar)
Loading...
- Name:
- tezis_eng.pdf
- Size:
- 628.32 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (angol)
License bundle
1 - 1 of 1
Loading...
- Name:
- license.txt
- Size:
- 846 B
- Format:
- Item-specific license agreed upon to submission
- Description: