@inproceedings{Andrzejak2003, author = {Andrzejak, Artur}, title = {Memory-Efficient and Fast Enumeration of Global States}, booktitle = {Seventh International Conference on Information Visualization, IV 2003, 16-18 July 2003, London, UK}, editor = {Banissi, Ebad and B{\"o}rner, Katy and Chen, Chaomei and Clapworthy, Gordon and Maple, Carsten and Lobben, Amy and Moore, Christopher and Roberts, Jonathan and Ursyn, Anna and Zhang, Jian-Ping}, publisher = {IEEE Computer Society}, doi = {10.1109/IV.2003.1217978}, pages = {189 -- 193}, year = {2003}, language = {en} }