Publication
-
Three logics for branching bisimulation Tech Report
January 1990 -
January 1990
-
January 1990
-
Efficient visit orders for polling systems Tech Report
January 1990
-
On the attained waiting time Tech Report
January 1990
-
January 1990
-
Edge-disjoint circuits in graphs on the torus Tech Report
January 1990
-
January 1990