cl-banner

TTT2 @ TermComp'2016

Christian Sternagel

Proceedings of the 15th International Workshop on Termination (WST 2016), pp. 23:1, 2016.

Abstract

TTT2 at the termination competition 2016.

 

  PDF

BibTeX 

@inproceedings{CS-WST16b,
author = "Christian Sternagel",
title = "TTT2 @ TermComp'2016",
booktitle = "Proceedings of the 15th International Workshop on Termination",
pages = "23:1",
year = 2016
}
Nach oben scrollen