ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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