doktorant
Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering WEAIiIB-kis
ORCID: brak
ResearcherID: brak
Scopus: brak
keywords: translation, model checking, place-transition nets, coloured Petri nets, NuSMV, PetriNet2NuSMV translator
Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Jerzy Biernacki
cyfrowy identyfikator dokumentu: