| |
# of records = 15
homepages/82/185 conf/dac/JainC09 conf/date/KoelblJJP09 journals/fmsd/JainCG09 conf/cav/JainCG08 journals/tcad/JainKSC08 conf/tacas/JainKSC07 journals/fmsd/ClarkeJK07 conf/cav/JainIGSW06 conf/sat/JainBC06 conf/dac/JainKSC05 conf/tacas/JainIGG05 conf/vissas/ClarkeJS05 conf/vstte/ClarkeGJV05 conf/memocode/JainKC04
Copyright © 2009-12-18 by Michael Ley (ley@uni-trier.de)