Results for Program transformations

Publications & Outputs

1. Designing efficient fail-safe multitolerant systems

   Jhumka, A. & Suri, N., 2005, Formal Techniques for Networked and Distributed Systems - FORTE 2005 . Springer, Vol. 3731 LNCS. p. 428-422 15 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter