Edmund M. Clarke. Automatic Verification of Finite-State Concurrent Systems. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France. pages 126, IEEE Computer Society, 1994.
@inproceedings{Clarke94:2,
title = {Automatic Verification of Finite-State Concurrent Systems},
author = {Edmund M. Clarke},
year = {1994},
researchr = {https://researchr.org/publication/Clarke94%3A2},
cites = {0},
citedby = {0},
pages = {126},
booktitle = {Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France},
publisher = {IEEE Computer Society},
}