Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti
Partial Model Checking with ROBDDs
TACAS, 1997.
@inproceedings{TACAS-1997-AndersenSM,
author = "Henrik Reif Andersen and Jørgen Staunstrup and Niels Maretti",
booktitle = "{Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/BFb0035379",
isbn = "3-540-62790-1",
pages = "35--49",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Partial Model Checking with ROBDDs}",
volume = 1217,
year = 1997,
}
Tags: