DMCA

Techniques for Formal Verification of Concurrent and Distributed Program Traces (1999)

by Mehmet Alper Sen
Citations:1 - 1 self