Local Termination: theory and practice

Research output: Contribution to JournalArticleAcademicpeer-review

177 Downloads (Pure)
Original languageEnglish
JournalLogical Methods in Computer Science
Volume6
Issue number3
DOIs
Publication statusPublished - 2010

Cite this