Tobias Schüle, Klaus Schneider
Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems
SEFM, 2004.
@inproceedings{SEFM-2004-SchuleS,
author = "Tobias Schüle and Klaus Schneider",
booktitle = "{Proceedings of the Second International Conference on Software Engineering and Formal Methods}",
doi = "10.1109/SEFM.2004.23",
isbn = "0-7695-2222-X",
pages = "67--76",
publisher = "{IEEE Computer Society}",
title = "{Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems}",
year = 2004,
}