| |
# of records = 21
homepages/06/503 conf/tphol/OwreS08 conf/cav/MouraORRSST04 conf/cade/MouraORRS04 conf/cav/FilliatreORS01 conf/tacas/LakhnechBBO01 conf/tphol/AdamsDGKMO01 conf/cav/OwreR00 conf/wadt/ShankarO99 conf/cav/BensalemLO98 conf/cav/BensalemLO98a conf/fm/OwreRSS98 journals/tse/RushbyOS98 conf/tacas/OwreRS97 conf/cav/OwreRRSS96 journals/tse/OwreRSH95 conf/tpcd/OwreRSS94 conf/fm/OwreRSH93 conf/cade/OwreRS92 journals/tse/HalpernOPW87 conf/sp/HalpernOPW86
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)