DMCA

From Pre-Historic to Post-Modern Symbolic Model Checking (1998)

by Thomas A. Henzinger , Orna Kupferman , Shaz Qadeer
Venue:IN PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERI
Citations:38 - 5 self