Anakreon Mentis, Panagiotis Katsaros. Model checking and code generation for transaction processing software. Concurrency - Practice and Experience, 24(7):711-722, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.