DBLP Keys for 'Patrick Lincoln'

# of records = 93

homepages/l/PatrickLincoln conf/rta/ClavelDEELMMT09 conf/maude/2007 conf/ab/TiwariTKLL07 conf/maude/ClavelDELMMT07 conf/maude/ClavelDELMMT07d conf/maude/ClavelDELMMT07e conf/maude/ClavelDELMMTPV07 conf/maude/ClavelDELMMT07f conf/maude/ClavelDELMMT07g conf/maude/ClavelDELMMTPV07a conf/maude/ClavelDELMMT07a conf/maude/ClavelDELMMT07h conf/maude/ClavelDELMMT07i conf/maude/ClavelDELMMT07j conf/maude/ClavelDELMMT07b conf/maude/ClavelDELMMT07k conf/maude/ClavelDELMMT07l conf/maude/ClavelDELMMTRV07 conf/maude/ClavelDELMMT07m conf/maude/ClavelDELMMT07n conf/maude/ClavelDELMMT07o conf/maude/ClavelDELMMT07c conf/maude/ClavelDELMMT07p conf/maude/ClavelDELMMTBFHOPSSV07 conf/maude/ClavelDELMMT07q conf/maude/ClavelDELMMT07r conf/maude/ClavelDELMMT07s conf/csb/KnappBELPTL05 conf/recomb/DillKGTLL05 journals/jcs/CervesatoDL05 conf/hybrid/LincolnT04 conf/psb/TalcottEKLL04 conf/uss/LincolnPS04 journals/jcs/DurginLM04 conf/cmsb/EkerLLST03 conf/cmsb/DillL03 conf/csb/TalcottEKLL03 conf/fm/RosuELM03 conf/rta/Lincoln03 conf/rta/ClavelDELMMT03 conf/worm/BriesemeisterLP03 conf/ccgrid/ChanderDLS02 conf/dance/RicciulliPLKD02 conf/isss2/CervesatoDLMS02 conf/isss2/JareckiLS02 conf/psb/EkerKLLMS02 journals/entcs/EkerKLLT02 journals/jcss/DawsonVLS02 journals/tcs/ClavelDELMMQ02 journals/jcs/VimercatiLRS01 journals/jcs/WrightLM01 conf/ccs/WrightLM00 conf/ma/DuranELM00 conf/asplos/LieTMLBMH00 conf/csfw/CervesatoDMLS00 conf/fase/ClavelDELMMQ00 conf/sec/DawsonVLS00 journals/entcs/ClavelDELMMQ00 conf/csfw/CervesatoDLMS99 conf/ndss/VimercatiLRS99 conf/pods/DawsonVLS99 conf/rta/ClavelDELMMQ99 conf/fm/LincolnMMS99 journals/tcs/LincolnMS99 conf/ccs/LincolnMMS98 journals/entcs/ClavelDELMMQ98 journals/entcs/ClavelDELMM98 conf/wdag/KatzLR97 journals/tse/WalterLS97 conf/anss/RicciulliLM96 conf/cade/CyrlukLS96 journals/bsl/LincolnMS96 journals/entcs/LincolnMS96 journals/entcs/ClavelELM96 conf/lics/LincolnSS95 conf/conpar/LincolnMR94 conf/lics/LincolnS94 conf/parle/LincolnMMR94 journals/tcs/LincolnS94 journals/tcs/LincolnW94 conf/cav/LincolnR93 conf/ftcs/LincolnR93 journals/apal/LincolnSS93 conf/lics/LincolnM92 conf/popl/LincolnM92 journals/apal/LincolnMSS92 conf/lics/LincolnSS91 conf/focs/LincolnMSS90 journals/toplas/Ait-KaciBLN89 journals/jsc/LincolnC89 conf/cade/LincolnC88 conf/slp/Ait-KaciLN87

XML