BibSonomy :: author ::

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password: myFriends myRelations mySearch myPDF myDuplicates myBibTeX	login · register

bookmarks

(1)

previous | 1 | next

Deeper Bound in BMC by Combining Constant Propagation and Abstraction.

Roy Armoni and Limor Fix and Ranan Fraer and Tamir Heyman and Moshe Y. Vardi and Yakir Vizel and Yael Zbar ASP-DAC 304-309 (2007)
to dblp by dblp on 2007-12-02 00:00:00
| URL | BibTeX

previous | 1 | next

Showing 10 items per page. Show 10, 25, 50, 100 items per page.