Recommended Citation
Lutfiyya, Hanan and McMillin, Bruce M., "Formal Generation of Executable Assertions for a Fault-Tolerant Parallel Bitonic Sort" (1991). Computer Science Technical Reports. 109.
https://scholarsmine.mst.edu/comsci_techreports/109
Department(s)
Computer Science
Report Number
CSc-91-12
Document Type
Technical Report
Document Version
Final Version
File Type
text
Language(s)
English
Rights
© 1991 University of Missouri - Rolla, All rights reserved
Publication Date
25 July 1991
Comments
This work was supported in part by the National Science Foundation under Grant Numbers MIP-8909749 and CDA-8820714, and in part by the AMOCO Faculty Development Program.