A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems.

Marco Danelutto, Andrea Masini

Browse the full CSL paper archive.