N. Bergé;Mazen Samaan;Guy Juanole;Youcef Atamna
-;-;-;-
Methodology for Obtaining Abstract Views of State Graphs Labeled with Probabilities and Times: An Example of Application to a Communication Protocol
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems