Symbolic Checking for Non-Complementary Logic Circuits

Research output: Chapter in Book › Chapter › Research

Original language	English
Title of host publication	Proceedings of te 4th International Workshop on Symbolic Methods and Applications to Circuit Design
Place of Publication	Lovaina (BE)
Pages	1-1
Edition	1
Publication status	Published - 1 Oct 1996

Cite this

@inbook{30a778e50bbf4bd58d84df9bd81ea40f,

title = "Symbolic Checking for Non-Complementary Logic Circuits",

author = "L. Ribas and J. Carrabina",

year = "1996",

month = oct,

day = "1",

language = "English",

pages = "1--1",

booktitle = "Proceedings of te 4th International Workshop on Symbolic Methods and Applications to Circuit Design",

edition = "1",

}