Searching for Invariants using Temporal Resolution (2002)

by James Brotherston , Anatoli Degtyarev , Michael Fisher , Alexei Lisitsa
Venue:Proceedings of LPAR 2002
Citations:2 - 2 self