Supplementary Proceedings of ICCS'09

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Supplementary Proceedings of ICCS'09

Sebastian RudolphSebastian Rudolph,  Frithjof DauFrithjof Dau,  Sergei O. KuznetsovSergei O. Kuznetsov
Supplementary Proceedings of ICCS'09


  • ISSN: 1613-0073
Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR
@proceedings{RDK2009,
  author    = {Sebastian Rudolph and Frithjof Dau and Sergei O. Kuznetsov},
  title     = {Supplementary Proceedings of {ICCS'09}},
  series    = {CEUR Workshop Proceedings},
  volume    = {483},
  publisher = {CEUR},
  year      = {2009},
  month     = {July}
}