Simulation-Based Abstractions for Software Product-Line Model Checking

Research output: Other contribution

64 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2011

Cite this