DaftarIsitemplate |
Call Number |
005.133 Gab l |
Title |
Testing for termination with monotonicity constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 326-340 |
Author |
Michael Coodish; Vitaly Lagoon; Peter J. Stuckey; |
Publisher |
Springer, 2005 |
Subject |
Location |