![]() |
# of records = 52
homepages/33/5041 conf/cav/TorreMP09 conf/pldi/TorreMP09 journals/fmsd/BozzelliT09 conf/csl/TorreMP08 conf/tacas/TorreMP08 journals/iandc/TorreNPP08 journals/tcs/BozzelliTP08 conf/icalp/BozzelliT07 conf/icalp/TorreP07 conf/lics/TorreMP07 journals/fmsd/TorreNP07 journals/ijfcs/GruskaTP07 conf/atva/TorreNP06 conf/vmcai/BozzelliTP06 journals/ita/GruskaTNP06 journals/tcs/AlurTM06 conf/hybrid/AlurTM05 journals/corr/abs-cs-0511044 journals/tcs/TorreMN05 conf/dlt/GruskaTP04 conf/ictac/TorreM04 journals/tocl/AlurT04 journals/entcs/TorreMP04 journals/fmsd/AlurKT04 journals/tcs/AlurTP04 conf/cav/AlurTM03 conf/concur/AlurTM03 conf/icalp/TorreNPP03 conf/tacas/AlurTM03 journals/ipl/GallierTM03 journals/tcs/TorreN03 conf/ifipTCS/TorreMM02 conf/lics/FaellaTM02 conf/vmcai/TorreMN02 conf/vmcai/FaellaTM02 conf/hybrid/AlurTP01 conf/lics/AlurT01 conf/mcu/TorreNP01 journals/tocl/AlurETP01 journals/acta/TorreN01 journals/tcs/TorreN01 journals/ita/TorreN01 conf/fsttcs/TorreN00 journals/ita/TorreNP00 conf/hybrid/AlurKT99 conf/icalp/AlurTEP99 conf/mfcs/TorreN98 journals/fuin/TorreNP98 conf/fct/TorreNP97 conf/tapsoft/TorreNP97 journals/fuin/TorreNP96
Copyright © 2009-12-30 by Michael Ley (ley@uni-trier.de)