Grey-Box Checking

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_30 ◽

2006 ◽

pp. 420-435 ◽

Cited By ~ 14

Author(s):

Edith Elkind ◽

Blaise Genest ◽

Doron Peled ◽

Hongyang Qu

Download Full-text