Optimizing tensor product computations in stochastic automata networks Paulo Fernandes; Brigitte Plateau; William J. Stewart — 1998 RAIRO - Operations Research - Recherche Opérationnelle