Optimal simulations, nets and reachability graphs
2005 ◽
pp. 205-226
◽