Methodology for Obtaining Abstract Views of State Graphs Labeled with Probabilities and Times: An Example of Application to a Communication Protocol.

Youcef Atamna, Guy Juanole

Browse the full MASCOTS paper archive.