Login / Signup

Model Checking Linear Duration Invariants of Networks of Automata.

Miaomiao ZhangZhiming LiuNaijun Zhan
Published in: FSEN (2009)
Keyphrases