@inproceedings{tacas96,
    AUTHOR = {Hassen Sa\"{i}di},
    TITLE = {{A} Tool for Proving Invariance Properties of Concurrent Systems Automatically},
    BOOKTITLE = {Proceedings of 2nd International Workshop, Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
    YEAR = {1996},
    VOLUME = {1055},
    PAGES = {412-416},
    ADDRESS = {Passau, Germany},
    MONTH = {March},
    PUBLISHER = {Springer-Verlag},
    URL = {http://www.csl.sri.com/papers/tacas96/},
    JOURNAL = {Lecture Notes in Computer Science}
}