Environment abstraction for parameterized verification (2006)

Cached

Download Links

by Edmund Clarke , Muralidhar Talupur , Helmut Veith
Venue:In 7 th VMCAI, LNCS 3855
Citations:19 - 1 self