Sciweavers

156
Voted
SCAM
2009
IEEE
16 years 21 days ago
Engineering Abstractions in Model Checking and Testing
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
Michael Achenbach, Klaus Ostermann