Login / Signup
Formal Modeling and Analysis of an IETF Multicast Protocol.
Elisabeth Lien
Peter Csaba Ölveczky
Published in:
SEFM (2009)
Keyphrases
</>
formal analysis
colored petri nets
genetic algorithm
data analysis
statistical analysis