| |
# of records = 27
homepages/82/1542 conf/cav/KanadeAIRSS09 conf/emsoft/BalakrishnanSIG09 conf/tacas/KahlonSG09 conf/hybrid/SankaranarayananDI08 conf/icse/SankaranarayananIG08 conf/issta/SankaranarayananCIG08 conf/sas/BalakrishnanSIWG08 conf/tacas/SankaranarayananDI08 journals/fmsd/SankaranarayananSM08 conf/cav/KahlonYSG07 conf/sigsoft/SankaranarayananCJI07 conf/sas/SankaranarayananIG07 conf/hybrid/SankaranarayananSM06 conf/sas/SankaranarayananISG06 conf/vmcai/SankaranarayananCSM06 conf/time/DAngeloSSRFSMM05 conf/vmcai/SankaranarayananSM05 journals/fmsd/FinkbeinerSS05 conf/hybrid/SankaranarayananSM04 conf/popl/SankaranarayananSM04 conf/sas/SankaranarayananSM04 conf/cav/ColonSS03 conf/emsoft/SanchezSSZDM03 conf/birthday/SankaranarayananSM03 journals/entcs/FinkbeinerSS02 journals/ai/DasguptaCDS01
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)