AuthorMd IslamRance CleavelandFlavio FentonRadu GrosuPaul JonesScott Smolka Year of Publication2019 JournalTheoretical Computer Science Volume765 Number of Pages158–169 Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS
