Special ``TACAS'15 issue

Special ``TACAS'15 issue
Volume 19(6) of International Journal on Software Tools for Technology Transfer, 2017

Details
Bibtex

Forschungsgruppe:Research Group: Verifikation und formale quantitative Analyse„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Algebraic and Logical Foundations of Computer Science

@proceedings{BT2017,
  title  = {Special ``TACAS'15'' issue},
  editor = {Christel Baier and Cesare Tinelli},
  series = {International Journal on Software Tools for Technology Transfer},
  volume = {19(6)},
  year   = {2017}
}