Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleVerification of Galois field based circuits by formal reasoning based on computational algebraic geometry.
Author(s) Ali El-Zein, Luis A. Lastras-Monta~no, Alexey Lvov, Viresh Paruthi, Robert Shadowen, Barry M. Trager
TypeArticle in Journal
ISSN0925-9856; 1572-8102/e
URL http://link.springer.com/article/10.1007%2Fs10703-014-0206-z
LanguageEnglish
JournalForm. Methods Syst. Des.
Volume45
Number2
Pages189--212
PublisherSpringer US, New York, NY
Year2014
Edition0
Translation No
Refereed No
Webmaster