DMCA

Model Checking of Safety Properties (1999)

Cached

Download Links

by Orna Kupferman , Moshe Y. Vardi
Citations:143 - 20 self