Inproceedings,

Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets.

, , and .
SAS, volume 11822 of Lecture Notes in Computer Science, page 459-480. Springer, (2019)

Meta data

Tags

Users

  • @dblp

Comments and Reviews