Abstract interpretation from Bchi automata.

Martin Hofmann, Wei Chen

Browse the full CSL paper archive.