Ganguly, Ritam, Xue, Yingjie, Jonckheere, Aaron, Ljung, Parker, Schornstein, Benjamin, Bonakdarpour, Borzoo, and Herlihy, Maurice. Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING . Web. doi:10.1109/ICDCS54860.2022.00012.

Ganguly, Ritam, Xue, Yingjie, Jonckheere, Aaron, Ljung, Parker, Schornstein, Benjamin, Bonakdarpour, Borzoo, & Herlihy, Maurice. Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, (). https://doi.org/10.1109/ICDCS54860.2022.00012

Ganguly, Ritam, Xue, Yingjie, Jonckheere, Aaron, Ljung, Parker, Schornstein, Benjamin, Bonakdarpour, Borzoo, and Herlihy, Maurice. "Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols". INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING (). Country unknown/Code not available: IEEE. https://doi.org/10.1109/ICDCS54860.2022.00012. https://par.nsf.gov/biblio/10476547.

@article{osti_10476547,
place = {Country unknown/Code not available}, title = {Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols}, url = {https://par.nsf.gov/biblio/10476547}, DOI = {10.1109/ICDCS54860.2022.00012}, abstractNote = {}, journal = {INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING}, publisher = {IEEE}, author = {Ganguly, Ritam and Xue, Yingjie and Jonckheere, Aaron and Ljung, Parker and Schornstein, Benjamin and Bonakdarpour, Borzoo and Herlihy, Maurice}, }