[IEEE Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) - Budapest, Hungary (2006.06.15-2006.06.17)] Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) - Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN

✍ Scribed by Makni, A.; Bouaziz, R.; Gargouri, F.

• Book ID: 120230684
• Publisher: IEEE
• Year: 2006
• Tongue: English
• Weight: 222 KB
• Category: Article
• ISBN-13: 9780769526171
• DOI: 10.1109/TIME.2006.15