DMCA

Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability (2005)

Cached

Download Links

by Joost-pieter Katoen , Ivan S. Zapreev
Citations:12 - 4 self