DMCA

On Model Checking Safety Properties (2002)

by Timo Latvala
Venue:IN MODEL CHECKING SOFTWARE. 10TH INTERNATIONAL SPIN WORKSHOP
Citations:35 - 2 self