Andreas Bauer 0002

  joint publications with Martin Leucker

Keys

# of publication records = 9

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

Publications

maintained by Schloss Dagstuhl LZI at University of Trier