Verification of a Distributed Ledger Protocol for Distributed Autonomous Systems Using Monterey Phoenix - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nickolas Carter' in GoogleThis author has not been identified. Look up 'Duane Davis' in GoogleThis author has not been identified. Look up 'Cynthia E. Irvine' in GoogleThis author has not been identified. Look up 'Peter Pommer' in Google

runs on WebDSL