Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL.

Omar I. Al-Bataineh, Tim French, Terry Woodings

Browse the full TIME paper archive.