Parameterizing Correctness for Federative Transactions
- Authors
- R. Karlsen and F. Eliassen
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1993
- Journal
- Proceedings Norwegian Informatics Conference 1993 (NIK'93)
- Publisher
- TAPIR,
- Citation key
- 9958