Cited By
View all- Cai SGallina BNyström DSeceleanu C(2020)Specification and automated verification of atomic concurrent real-time transactionsSoftware and Systems Modeling10.1007/s10270-020-00819-0Online publication date: 29-Jul-2020
- Werner SReinke CGroppe SLinnemann V(2011)Adaptive Service Migration in Wireless Sensor NetworksProceedings of the 2011 12th International Conference on Parallel and Distributed Computing, Applications and Technologies10.1109/PDCAT.2011.15(334-341)Online publication date: 20-Oct-2011
- Reinke CHoeller NNeumann JGroppe SWerner SLinnemann V(2010)Analysis and Comparison of Atomic Commit Protocols for Adaptive Usage in Wireless Sensor NetworksProceedings of the 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing10.1109/SUTC.2010.12(138-145)Online publication date: 7-Jun-2010
- Show More Cited By