Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang. Symbolic Model Checking: 10^20 States and Beyond. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 428-439, IEEE Computer Society, 1990.
@inproceedings{BurchCMDH90,
title = {Symbolic Model Checking: 10^20 States and Beyond},
author = {Jerry R. Burch and Edmund M. Clarke and Kenneth L. McMillan and David L. Dill and L. J. Hwang},
year = {1990},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BurchCMDH90},
cites = {0},
citedby = {0},
pages = {428-439},
booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA},
publisher = {IEEE Computer Society},
}