2001
Verifying replication on a distributed shared data space with time stamps
Publication
Publication
Presented at the
Progress Workshop on Embedded Systems, Veldhoven, Nederland
| Additional Metadata | |
|---|---|
| Technology Foundation (STW) | |
| F. Karelse | |
| Progress Workshop on Embedded Systems | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Hooman, J., & van de Pol, J. (2001). Verifying replication on a distributed shared data space with time stamps. In F. Karelse (Ed.), Proceedings of Progress Workshop on Embedded Systems 2001 (2) (pp. 107–120). Technology Foundation (STW). |
|
