Aleksandar S. Dimovski - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Thu 28 Feb 2019

Name:Aleksandar S. Dimovski

Affiliation:Mother Teresa University, Skopje

Personal website: https://aleksdimovski.github.io/

Contributions

2019

FASE

Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL

Show activities from other conferences

ETAPS 2019-profile
View general profile