dblp keys for Michael Weber 0002

Michael Weber 0002

Keys

# of data records = 24

homepages/w/MichaelWeber2 conf/vee/RobatmiliCRKFB0H14 conf/ppopp/CascavalFMPRRWB13 conf/spin/LaarmanPP013 journals/logcom/BlomLP011 conf/atva/LaarmanLPWW11 conf/nfm/LaarmanPW11 conf/spin/LaarmanP011 journals/corr/abs-1102-3420 journals/corr/abs-1104-3119 journals/sttt/Weber10 conf/cav/BlomPW10 conf/fmcad/LaarmanPW10 conf/spin/2010 journals/corr/abs-1004-2772 journals/entcs/PolW08 conf/spin/Weber07 journals/entcs/BlomLPW08 phd/de/Weber2006b conf/fmics/HammerW06 journals/sttt/LeuckerNSW05 journals/entcs/LeuckerSW03 conf/spin/BolligLW02 conf/tacas/BolligLW01

a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.