Nickolas Carter, Duane Davis, Cynthia E. Irvine, Peter Pommer. Verification of a Distributed Ledger Protocol for Distributed Autonomous Systems Using Monterey Phoenix. In Tung X. Bui, editor, 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023. pages 6716-6725, ScholarSpace, 2023. [doi]
@inproceedings{CarterDIP23, title = {Verification of a Distributed Ledger Protocol for Distributed Autonomous Systems Using Monterey Phoenix}, author = {Nickolas Carter and Duane Davis and Cynthia E. Irvine and Peter Pommer}, year = {2023}, url = {https://hdl.handle.net/10125/103446}, researchr = {https://researchr.org/publication/CarterDIP23}, cites = {0}, citedby = {0}, pages = {6716-6725}, booktitle = {56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023}, editor = {Tung X. Bui}, publisher = {ScholarSpace}, isbn = {978-0-9981331-6-4}, }