DMCA

Enhancing the inverse method with state merging (2012)

Cached


by Étienne André , Laurent Fribourg , Romain Soulat
Venue:In NFM, volume 7226 of LNCS
Citations:4 - 2 self