Andreas Bauer 0002

  joint publications with Christian Schallhart

Keys

# of publication records = 7

journals/tosem/BauerLS11 journals/logcom/BauerLS10 journals/sttt/BauerLST10 conf/isola/BauerLST07 conf/rv/0002LS07 conf/aswec/0002LS06 conf/fsttcs/BauerLS06

Publications

maintained by Schloss Dagstuhl LZI at University of Trier