Net Reductions for LTL Model-Checking | Publicación