@inproceedings{Rehak2002,
 address = {Milovy (Czech Republic)},
 author = {Vojtěch Řehák},
 booktitle = {SOFSEM 2002: Student Research Forum},
 keywords = {Data structures; $\xor$-OBDD; symbolic model checking;},
 language = {eng},
 location = {Milovy (Czech Republic)},
 pages = {41-46},
 publisher = {Slovak University of Technology},
 title = {$\xor$-OBDD in Symbolic Model Checking},
 year = {2002}
}