| |
# of records = 15
homepages/27/1008 conf/spin/LimLR09 journals/fmsd/LalR09 conf/cav/LalR08 conf/sas/KiddLR08 conf/sas/LalR08 conf/tacas/LalTKR08 conf/fsttcs/RepsLK07 conf/sas/LalKRT07 conf/cav/LalR06 conf/esop/LalLPL06 journals/cor/FagesL06 conf/cav/BalakrishnanRKLLMGYCT05 conf/cav/LalRB05 conf/ifipTCS/GargLP04
Copyright © 2009-12-30 by Michael Ley (ley@uni-trier.de)