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, }