No. Title Author Year
1 Verifying Reliability (Dagstuhl Seminar 12341) Fey, G÷rschwin et al. 2012
2 09461 Abstracts Collection -- Algorithms and Applications for Next Generation SAT Solvers Becker, Bernd et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 2


DROPS-Home | Fulltext Search | Imprint Published by LZI