Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

Published in: PACO (2011)

Keyphrases