Symbolic verification of petri net based models

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