|
@inproceedings{Lam08b, author = {Kai Lampka}, title = {Multi-rooted ZMTBDDs and the symbolic, quantitative verification of systems}, booktitle = {Proceedings of the 8th Workshop on Boolean Problems (WBP08)}, pages = {145--160}, publisher = {Freiberg Univ. of Mining and Technology}, month = {Sep}, year = {2008} }