Login / Signup
A Two-Level Approach for Modeling and Verification of Telecommunication Systems.
Dmitri M. Beloglazov
Valery A. Nepomniaschy
Published in:
Ershov Memorial Conference (2009)
Keyphrases
</>
telecommunication systems
model checking
information systems
sensor networks