Visiting Fellowship: Dr R Segala Formal Analysis of Randomized Distributed Algorithms

  • Kwiatkowska, Marta (Principal Investigator)

Project Details

Short titleVisiting Fellowship: Dr R Segala Formal Analysis of Randomized Distributed Algorithms
StatusFinished
Effective start/end date30/10/98 → 29/04/02

Funding

  • Engineering & Physical Science Research Council