@InProceedings{andrzejak2003,
AUTHOR = {Andrzejak, Artur},
TITLE = {Memory-Efficient and Fast Enumeration of Global States},
YEAR = {2003},
MONTH = {16 July},
BOOKTITLE = {7th~IEEE~International Conference on Information Visualization IV03-AGT},
ADDRESS = {London},
ANNOTE = {DATE-ADDED : 2006-09-06 14:26:42 +0200} }
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44
