DMCA

Automatic Verification of Parameterized Linear Networks of Processes (1997)

Cached

Download Links

by David Lesens , Nicolas Halbwachs , Pascal Raymond
Venue:IN 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, POPL'97
Citations:31 - 3 self