Reinhard German
-
Non-Markovian analysis
Lectures on formal methods and performance analysis
Analytical modeling of TCP flow in wireless LANs
Mathematical and Computer Modelling: An International Journal