Interleaved Programs and Rely-Guarantee Reasoning with ITL.

Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif

Browse the full TIME paper archive.