AuthorMd. IslamA. MurthyE. BartocciE. CherryF. FentonJ. GlimmS. SmolkaR. Grosu Year of Publication2015 JournalTheoretical Computer Science Volume599C Start Page34 Date Published09/2015 Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS
