Cited By
View all- Dumitraş TNarasimhan P(2013)A study of unpredictability in fault-tolerant middlewareComputer Networks: The International Journal of Computer and Telecommunications Networking10.1016/j.comnet.2012.10.01557:3(682-698)Online publication date: 1-Feb-2013
- Meseguer J(2012)Twenty years of rewriting logicThe Journal of Logic and Algebraic Programming10.1016/j.jlap.2012.06.00381:7-8(721-781)Online publication date: Oct-2012
- Kim MStehr MGehani ATalcott C(2011)Ensuring security and availability through model-based cross-layer adaptationProceedings of the 8th international conference on Ubiquitous intelligence and computing10.5555/2035646.2035677(310-325)Online publication date: 2-Sep-2011
- Show More Cited By