Equational binary decision diagrams

J.F. Groote, J.C. Pol, van de

Research output: Book/ReportReportAcademic

22 Citations (Scopus)
Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages20
Publication statusPublished - 2000

Publication series

NameCWI report. SEN-R : software engineering
Volume0006
ISSN (Print)1386-369X

Cite this