Decision Procedure for Temporal Logic of Concurrent Objects.

Jean Paul Bahsoun, Rami El-Bada, Hugues-Olivier Yar

Browse the full EuroPar paper archive.