The clocks are ticking: No more delays!

Research output: Research - peer-reviewArticle in proceedings

DOI

  • Patrick Bahr
    Patrick BahrIT-Universitetet i Kobenhavn
  • Hans Bugge Grathwohl
  • Rasmus Ejlers Møgelberg
    Rasmus Ejlers MøgelbergIT-Universitetet i Kobenhavn
Original languageEnglish
Title of host publication2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017
Number of pages12
PublisherIEEE
Publication year8 Aug 2017
Article number8005097
ISBN (Electronic)9781509030187
DOIs
StatePublished - 8 Aug 2017
Event32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017 - Reykjavik, Iceland
Duration: 20 Jun 201723 Jun 2017

Conference

Conference32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017
LandIceland
ByReykjavik
Periode20/06/201723/06/2017
SponsorACM Special Interest Group on Logic and Computation (ACM SIGLOG), Google, IEEE Technical Committee on Mathematical Foundations of Computing, Microsoft Research
SeriesAnnual Symposium on Logic in Computer Science
Number32
ISSN1043-6871

See relations at Aarhus University Citationformats

ID: 121285260