padonDeductiveVerificationDistributed2018:
  type: article
  title: Deductive {Verification} of {Distributed Protocols} in {First-Order Logic}
  author: Padon, Oded
  date: 2018-10
  page-range: '1'
  url:
    value: https://ieeexplore.ieee.org/document/8603010/
    date: 2023-02-07
  serial-number:
    doi: 10.23919/FMCAD.2018.8603010
    isbn: 978-0-9835678-8-2
  language: en-US
  parent:
  - type: proceedings
    title: 2018 {Formal Methods} in {Computer Aided Design} ({FMCAD})
    publisher:
      name: IEEE
      location: Austin, TX
  - type: conference
    title: 2018 {Formal Methods} in {Computer Aided Design} ({FMCAD})