Login / Signup

Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets.

Dmitri M. BeloglazovMikhail MashukovV. A. Nepomnyashchiy
Published in: Autom. Control. Comput. Sci. (2012)
Keyphrases