lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module LoopWeights
val interval : int -> int -> int -> int * int
val average : int -> int -> int -> int * int