Login / Signup

Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker.

Soumyadip BandyopadhyayKunal BanerjeeDipankar SarkarChittaranjan A. Mandal
Published in: VDAT (2012)
Keyphrases