Simulation-Based Abstractions for Software Product-Line Model Checking

Research output: Other contribution

62 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2011

Cite this