T. Mahtab

Automated verification of model-based programs under uncertainty

Tazeen Mahtab, T. Mahtab, 2004 .

Searching the World Wide Web in Low-Connectivity Communities

Mark Halsey, William Thies, Saman Amarasinghe, 2002 .