Symbolic verification of petri net based models
Metadata
Show full item recordCollections
- Title
- Symbolic verification of petri net based models
- Title and subtitle in another language
- Petri háló alapú modellek szimbolikus verifikációja
- Author
- Vörös, András
- Date of issue
- 2018
- Date of defence
- 2018-11-30
- Advisor
- Bartha, Tamás
- Language
- en
- Identifiers
- BME OMIKK katalógus-azonosító: 000646271
- Document type
- Disszertáció
- Document genre
- Ph.D. Thesis
- University
- Budapesti Műszaki és Gazdaságtudományi Egyetem
- Faculty
- Villamosmérnöki és Informatikai Kar
- Doctoral school
- Informatikai Tudományok Doktori Iskola