A Tutorial-Style Introduction to DY. / Bhargavan, Karthikeyan; Bichhawat, Abhishek; Do, Quoc Huy; Hosseyni, Pedram; Küsters, Ralf; Schmitz, Guido; Würtele, Tim.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, 2021. p. 77-97 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13066 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Published
  • Karthikeyan Bhargavan
  • Abhishek Bichhawat
  • Quoc Huy Do
  • Pedram Hosseyni
  • Ralf Küsters
  • Guido Schmitz
  • Tim Würtele
Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Science and Business Media Deutschland GmbH
Pages77-97
Number of pages21
DOIs
Publication statusPublished - 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13066 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 44154933