@inproceedings{VMCAI-2006-RossignoliS,
author = "Stefano Rossignoli and Fausto Spoto",
booktitle = "{Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation}",
doi = "10.1007/11609773_7",
isbn = "3-540-31139-4",
pages = "95--110",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Detecting Non-cyclicity by Abstract Compilation into Boolean Functions}",
volume = 3855,
year = 2006,
}
Tags: