DMCA

Distributing Timed Model Checking -- How the Search Order Matters (2000)

Cached

Download Links

by Gerd Behrmann , Thomas Hune , Frits Vaandrager
Citations:53 - 7 self