DaftarIsitemplate

Call Number

004 Int c

Title

Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327

Author

William Chan; Richard Anderson; Paul Beanne; David Notkin;

Publisher

Springer, 1997

Subject

Location