AuthorG. ChatzieleftheriouB. BonakdarpourP. KatsarosS. Smolka Year of Publication2015 JournalLogical Methods in Computer Science Volume3:11 Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS
