Survey on Directed Model Checking (2009)

by Stefan Edelkamp , Anton Wijs , Husain Aljazzar
Citations:7 - 1 self