ITU

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

Research output: Contribution to conference - NOT published in proceeding or journalConference abstract for conferenceResearch

View graph of relations

Original languageEnglish
Publication date2015
Publication statusPublished - 2015
Event2nd Software Product Line Analysis Tools Workshop - Nashville, TN, United States
Duration: 21 Jul 201521 Jul 2015
Conference number: 2
https://sites.google.com/site/splat2015w/

Workshop

Workshop2nd Software Product Line Analysis Tools Workshop
Number2
CountryUnited States
CityNashville, TN
Period21/07/201521/07/2015
Internet address

ID: 80253671