Parallel State Space Construction for Model-Checking (2001)

Cached

Download Links

by Hubert Garavel , Radu Mateescu , Irina Smarandache
Citations:49 - 3 self