Vol-3428⫷ Vol-3429 ⫸Vol-3430
urn:nbn:de:0074-3429-0


Vol-3429/preface⫷Vol-3429/invited1⫸Vol-3429/invited2
Oded Padon

Invited Talk: Deductive Verification of Distributed Protocols in Decidable Logics