Partial model checking (extended abstract), in (1995)

by H R Andersen
Venue:Proceedings of 10th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer