DMCA

Bounded phase analysis of message-passing programs (2012)

by Ahmed Bouajjani , Michael Emmi
Citations:9 - 1 self