HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Suneel Sarswat

Publications
Efficient and Verified Continuous Double Auctions
Mohit Garg and Suneel Sarswat
EasyChair Preprint no. 10337

Keyphrases

Continuous Double Auctions, financial markets, formal specification and verification, red-black trees.

Copyright © 2012-2023 easychair.org. All rights reserved.