DMCA

Detecting temporal logic predicates in distributed programs using computation slicing (2003)

by Vinit A. Ogale , Vijay K. Garg
Venue:IN: 7TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS
Citations:17 - 5 self