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.
@article{LoiseauxGSBB95,
title = {Property Preserving Abstractions for the Verification of Concurrent Systems},
author = {Claire Loiseaux and Susanne Graf and Joseph Sifakis and Ahmed Bouajjani and Saddek Bensalem},
year = {1995},
tags = {abstraction},
researchr = {https://researchr.org/publication/LoiseauxGSBB95},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {6},
number = {1},
pages = {11-44},
}