Youcef Atamna, Guy Juanole. Methodology for Obtaining Abstract Views of State Graphs Labeled with Probabilities and Times: An Example of Application to a Communication Protocol. In Patrick W. Dowd, Erol Gelenbe, editors, MASCOTS 95, Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 10-18, 1995, Durham, North Carolina, USA. pages 299-306, IEEE Computer Society, 1995.
Abstract is missing.