| |
# of records = 76
homepages/31/4030 conf/adaEurope/SokolskyLC09 conf/padl/WangBLS09 conf/rv/ZhouSLL09 conf/seus/ChinnapongseLSWJ09 journals/computer/BlazeKLSSKL09 conf/dagstuhl/2007P7011 conf/deon/DineshJLS08 conf/rv/DineshJLS08 conf/rv/2007 conf/monterey/2006 conf/isorc/EaswaranLSS07 conf/monterey/DineshJLS07 conf/rv/SammapunLSR07 conf/dagstuhl/FinkbeinerHRS07a conf/dagstuhl/FinkbeinerHRS07 conf/dagstuhl/SokolskySRL07 journals/tc/FischmeisterSL07 journals/ijseke/MondragonGRMS07 journals/jcss/GillS07 journals/jlp/LeePS07 conf/euc/2006w conf/emsoft/EaswaranSSL06 conf/hybrid/KratzSPL06 conf/rtas/FischmeisterSL06 conf/ipps/SokolskyLC06 conf/dagstuhl/BattBEFHHKMMNSU06 conf/tacas/SokolskyKL06 journals/entcs/EaswaranKS06 journals/entcs/SokolskySLK06 journals/entcs/LeePS06 journals/jlp/AlurGLS06 conf/rtcsa/SammapunLS05 conf/scam/HongLS05 conf/seke/MondragonGMS05 conf/words/GatesRGOS05 journals/entcs/SammapunELS05 conf/iri/TanKSL04 conf/iri/TanSL04 conf/netgames/DeLapKLSSLT04 conf/wstfeus/Sokolsky04 journals/fmsd/KimVKLS04 conf/icse/HongCLSU03 conf/lctrts/AlurIKLS03 conf/tacas/SokolskyPLC03 journals/entcs/SokolskyV03 journals/pieee/AlurDEHIKMPS03 conf/hipc/AlurBIKRSSW02 conf/rissef/LeePS02 conf/tacas/HongLSU02 journals/entcs/KimKLSV02 journals/entcs/KimLSSS02 journals/tse/BhargavanGKLOSV02 journals/scp/KwakLS02 conf/emsoft/AlurDEFHIKLMPS01 conf/forte/LeeCKPS01 conf/hybrid/AlurGLS01 journals/entcs/KimKLSV01 journals/ipl/PhilippouSLCS01 conf/concur/PhilippouLS00 conf/issta/BhargavanGKLOSV00 conf/ecrts/KimVBKLS99 conf/pdpta/LeeKKSV99 conf/tacas/DongDRRRSSSW99 journals/ansoft/SokolskyLB99 journals/entcs/KwakLS99 conf/concur/PhilippouCLSS98 conf/rtas/SokolskyYLKZ98 conf/rtss/KwakLPCS98 conf/hase/LeeS97 conf/cav/CleavelandLSS96 conf/cav/ClarkeBLXS96 conf/tacas/CleavelandLSS96 conf/cav/SokolskyS95 conf/cav/SokolskyS94 conf/lics/ZhangSS94
Copyright © 2009-12-27 by Michael Ley (ley@uni-trier.de)