Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic (1999)

Cached

Download Links

by B. Bérard , L. Fribourg , Ecole Normale , Suprieure Cachan , Laurent Fribourg
Citations:36 - 4 self