| |
# of records = 36
homepages/s/CarstenSinz conf/icst/PostS09 conf/sat/SinzI09 journals/corr/abs-0909-5038 journals/stvr/PostSK09 conf/kbse/PostSKG08 conf/kbse/PostS08 conf/noms/GencaySK08 conf/sat/KottlerKS08 conf/sat/KottlerKS08a conf/eurocast/Sinz07 conf/sat/JussilaBSKW07 journals/expert/SinzHNWGSJORDGLFN07 journals/jar/Sinz07 conf/csr/SinzB06 conf/sat/JussilaSB06 journals/jar/SinzKFG06 journals/jsat/BiereS06 conf/cp/Sinz05 conf/sat/SinzD05 conf/icfem/SinzK04 conf/sat/SinzK04 conf/sat/Sinz04 conf/pdpta/BlochingerSK03 conf/qsic/SinzKKM03 journals/aiedam/SinzKK03 journals/pc/BlochingerSK03 journals/infsof/SinzLSK02 conf/apaqs/SinzKL01 conf/flairs/SinzKK01 conf/ppam/SinzDAK01 journals/endm/SinzBK01 conf/cade/Sinz00 conf/hpcn/SchimkatBSFK00 journals/jar/KuchlinS00 conf/rta/BundgenSW96
Copyright © 2010-02-09 by Michael Ley (ley@uni-trier.de)