Searching for Invariants Using Temporal Resolution.

James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa

Browse the full LPAR paper archive.