Linear Temporal Logic with Standpoint Modalities (Invited Talk).

Christel Baier

Browse the full CONCUR paper archive.