@inproceedings{TACAS-1995-KnoopSV,
author = "Jens Knoop and Bernhard Steffen and Jürgen Vollmer",
booktitle = "{Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/3-540-60630-0_13",
isbn = "3-540-60630-0",
pages = "264--289",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Parallelism for Free: Bitvector Analyses -> No State Explosion!}",
volume = 1019,
year = 1995,
}
Tags: