ETAPS 2019 (series) / Aleksandar S. Dimovski
Registered user since Thu 28 Feb 2019
Name:Aleksandar S. Dimovski
Affiliation:Mother Teresa University, Skopje
Personal website:https://aleksdimovski.github.io/
Contributions
| FASE 2019 | Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile