Lattice-Valued Binary Decision Diagrams
Submitted by efiliot on Mon, 10/01/2011 - 15:49
Technical Report PDF:
Technical Report Number:
2010.130 | Title | Lattice-Valued Binary Decision Diagrams |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Geeraerts, G, Kalyon G, Le Gall T, Maquet N, Raskin J-F |
| Conference Name | ATVA |
»