2005
Zero, Sucessor and Equality in BDDs
Publication
Publication
Annals of Pure and Applied Logic p. 101- 123
| Additional Metadata | |
|---|---|
| North-Holland | |
| doi.org/10.1016/j.apal.2004.10.005 | |
| Annals of Pure and Applied Logic | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Badban, B., & van de Pol, J. (2005). Zero, Sucessor and Equality in BDDs. Annals of Pure and Applied Logic, 101–123. doi:10.1016/j.apal.2004.10.005 |
|
