List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@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}
}

---

1 entry found.

 
 Back