Property Preserving Abstractions for the Verification of Concurrent Systems

Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem. Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods in System Design, 6(1):11-44, 1995.

Abstract

Abstract is missing.