Publication
-
January 1994 -
Modularity of confluence: A simplified proof Article
Information Processing Letters, 49(2), 101-109.January 1994
-
The computation of R0 for discrete-time epidemic models with dynamic heterogeneity Article
Mathematical Biosciences, 119(1), 97-114.January 1994
-
Control of discrete event systems---research at the interface of control theory and computer science Book Chapter
January 1994 -
January 1994
-
On a class of singularly perturbed boundary value problems for which an adaptive mesh technique is necessary In Proceedings
January 1994 -
January 1994 -
Dynamic modal predicate logic Book Chapter
January 1994