Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/it/DrechslerEFST09
%A Drechsler, Rolf
%A Eggersglüß, Stephan
%A Fey, Görschwin
%A Schlöffel, Jürgen
%A Tille, Daniel
%D 2009
%J it - Information Technology
%K dblp
%N 2
%P 102-111
%T Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern (Efficient Satisfiability Solving Algorithms for Test Pattern Generation).
%U http://dblp.uni-trier.de/db/journals/it/it51.html#DrechslerEFST09
%V 51
@article{journals/it/DrechslerEFST09,
added-at = {2010-02-17T00:00:00.000+0100},
author = {Drechsler, Rolf and Eggersglüß, Stephan and Fey, Görschwin and Schlöffel, Jürgen and Tille, Daniel},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29638f38600cf11bc143ce1f5c872cd78/dblp},
ee = {http://dx.doi.org/10.1524/itit.2009.0529},
interhash = {345152953fe51673d2974604fa9504bd},
intrahash = {9638f38600cf11bc143ce1f5c872cd78},
journal = {it - Information Technology},
keywords = {dblp},
number = 2,
pages = {102-111},
timestamp = {2016-02-02T10:23:28.000+0100},
title = {Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern (Efficient Satisfiability Solving Algorithms for Test Pattern Generation).},
url = {http://dblp.uni-trier.de/db/journals/it/it51.html#DrechslerEFST09},
volume = 51,
year = 2009
}