Vol-1630⫷ Vol-1631 ⫸Vol-1632
urn:nbn:de:0074-1631-0


Vol-1631/105-112⫷Vol-1631/113-118⫸Vol-1631/119-132

Peterson's algorithm total correctness proof in IPCL