DMCA

Termination analysis with compositional transition invariants (2010)

Cached

Download Links

by Daniel Kroening , Natasha Sharygina , Aliaksei Tsitovich , Christoph M. Wintersteiger
Venue:IN: INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV). VOLUME 6174 OF LNCS
Citations:22 - 3 self