@inproceedings{LHR96,
title = {Automatic Construction of Network Invariants },
author = {Lesens, David and Halbwachs, Nicolas and Raymond, Pascal},
month = {aug},
year = {1996},
booktitle = {International Workshop on Verification of Infinite State Systems (INFINITY)},
address = {Pisa},
team = {SYNC},
}
