An optimal Finite State Projection Method

Vikram Sunkara, Markus Hegland. An optimal Finite State Projection Method. Procedia CS, 1(1):1579-1586, 2010. [doi]

Abstract

Abstract is missing.