dblp.uni-trier.dewww.uni-trier.de

Tobias Nopper

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEBernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59
2007
2EETobias Nopper, Christoph Scholl, Bernd Becker: Computation of minimal counterexamples by using black box techniques and symbolic methods. ICCAD 2007: 273-280
2004
1EETobias Nopper, Christoph Scholl: Approximate Symbolic Model Checking for Incomplete Designs. FMCAD 2004: 290-305

Coauthor Index

1Bernd Becker [2] [3]
2Marc Herbstritt [3]
3Natalia Kalinnik [3]
4Matthew D. T. Lewis [3]
5Juri Lichtner [3]
6Christoph Scholl [1] [2]
7Ralf Wimmer [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)