DMCA

Automatic Verification of Parameterized Networks of Processes by Abstraction (1997)

Cached

Download Links

by David Lesens , Hassen Saïdi
Venue:Electronic Notes of Theoretical Computer Science (ENTCS
Citations:12 - 2 self