DMCA

Data Structures for Symbolic Multi-Valued Model-Checking (2002)

Cached

Download Links

by Marsha Chechik , Arie Gurfinkel , Benet Devereux , Albert Lai , Steve Easterbrook
Citations:4 - 0 self