Punimet Shkencore

Nr. Autor Titulli i punimit shkencor Linku
1 Aleksander S.Dimovski, Claus Brabrand, Andrzej Wasowski Variability abastractions for lifted analyses Kliko 
2 Aleksander S.Dimovski Abstract family- based model checking using modal featured transition systems: Preservation of CTL Kliko