Put your Model Checker on Diet: Verification on Local States (1997)

by Michaela Huhn , Peter Niebert , Frank Wallner
Citations:1 - 1 self