%0 Conference Paper %1 conf/spin/Bosnacki03 %A Bosnacki, Dragan %B SPIN %D 2003 %E Ball, Thomas %E Rajamani, Sriram K. %I Springer %K dblp %P 89-103 %T A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. %U http://dblp.uni-trier.de/db/conf/spin/spin2003.html#Bosnacki03 %V 2648 %@ 3-540-40117-2

@inproceedings{conf/spin/Bosnacki03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Bosnacki, Dragan}, biburl = {https://www.bibsonomy.org/bibtex/2e62da63fedc5bd8875f935cdddcb173c/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2003}, editor = {Ball, Thomas and Rajamani, Sriram K.}, ee = {https://doi.org/10.1007/3-540-44829-2_6}, interhash = {a229491aaa5249965f8b95ba77fb86b6}, intrahash = {e62da63fedc5bd8875f935cdddcb173c}, isbn = {3-540-40117-2}, keywords = {dblp}, pages = {89-103}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:05:31.000+0200}, title = {A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2003.html#Bosnacki03}, volume = 2648, year = 2003 }