| |
# of records = 15
homepages/s/ViktorSchuppan conf/mochart/EdelkampSBWFA08 conf/vmcai/CimattiRST08 conf/cav/CimattiRST07 journals/corr/abs-cs-0611029 journals/entcs/SchuppanB06 journals/lmcs/BiereHJLS06 conf/tacas/SchuppanB05 journals/entcs/SchuppanBB05 conf/cav/ArthoSBEBZ04 journals/sttt/SchuppanB04 journals/entcs/BiereAHS03 journals/fac/SchuppanB03 journals/entcs/BiereAS02 conf/ewspt/SchuppanR00
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)