Lattice-Valued Binary Decision Diagrams

Technical Report PDF: 
Technical Report Number: 
2010.130
TitleLattice-Valued Binary Decision Diagrams
Publication TypeConference Paper
Year of Publication2010
AuthorsGeeraerts, G, Kalyon G, Le Gall T, Maquet N, Raskin J-F
Conference NameATVA