Login / Signup

Check and simulate: a case for incorporating model checking in network simulation.

Ahmed SobeihMahesh ViswanathanJennifer C. Hou
Published in: MEMOCODE (2004)
Keyphrases