| |
# of records = 12
homepages/37/6100 conf/sigsoft/WangCGY09 conf/oopsla/LublinermanCC09 conf/issta/SankaranarayananCIG08 conf/popl/Chaudhuri08 conf/spin/ChaudhuriA07 conf/tacas/AlurCC07 conf/cav/AlurCM06 conf/fsttcs/AlurC06 conf/popl/AlurCM06 conf/tacas/AlurCEM05 conf/concur/AlurCEGY03
Copyright © 2009-12-04 by Michael Ley (ley@uni-trier.de)