Family-Based Model Checking using Off-the-Shelf Model Checkers

Aleksandar Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning

Originalsprog	Engelsk
Publikationsdato	2015
Status	Udgivet - 2015
Begivenhed	Workshop on Software Product Line Analysis Tools - Nashville, TN, USA Varighed: 21 jul. 2015 → 21 jul. 2015 Konferencens nummer: 2 https://sites.google.com/site/splat2015w/

Workshop	Workshop on Software Product Line Analysis Tools
Nummer	2
Land/Område	USA
By	Nashville, TN
Periode	21/07/2015 → 21/07/2015
Internetadresse	https://sites.google.com/site/splat2015w/

Citationsformater

@conference{130048e944724aa38049192dc82c0374,

title = "Family-Based Model Checking using Off-the-Shelf Model Checkers",

author = "Aleksandar Dimovski and Al-Sibahi, \{Ahmad Salim\} and Claus Brabrand and Andrzej Wasowski",

year = "2015",

language = "English",

note = "2nd Software Product Line Analysis Tools Workshop, SPLat 2015 ; Conference date: 21-07-2015 Through 21-07-2015",

url = "https://sites.google.com/site/splat2015w/",

}