DMCA

Verification of Temporal Properties of Concurrent Systems (1993)

by Henrik Reif Andersen
Citations:30 - 5 self