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


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