doktorant
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej WEAIiIB-kis, Katedra Informatyki Stosowanej
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: