Electronic Notes in Theoretical Computer Science
, Volume 56
Volume 56, 2001
Poul Frederick Williams
:
Formal Verification based on Boolean Expression Diagrams.
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:58:15 2009 by
Michael Ley
(
ley@uni-trier.de
)