| |
# of records = 25
homepages/r/JakobRehof conf/tacas/2008 journals/mscs/FahndrichR08 conf/tacas/QadeerR05 conf/cav/FournetHRR04 conf/cav/AndrewsQRRX04 conf/isola/RajamaniR04 conf/isola/RehofR04 conf/popl/QadeerRR04 conf/cav/RajamaniR02 conf/popl/ChakiRR02 conf/popl/RehofF01 conf/sas/DasLFR01 conf/sas/RajamaniR01 journals/toplas/KnoblockR01 conf/pldi/FahndrichRD00 conf/popl/KnoblockR00 journals/scp/RehofM99 conf/icalp/HengleinR98 conf/lics/HengleinR97 conf/popl/Rehof97 conf/sas/RehofM96 journals/ipl/Rehof96 conf/fpca/HengleinR95 conf/tacs/RehofS94
Copyright © 2009-12-06 by Michael Ley (ley@uni-trier.de)