External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Checking Linear Duration Invariants by Linear Programming

Xuandong Li, Dang Van Hung. Checking Linear Duration Invariants by Linear Programming. In Joxan Jaffar, Roland H. C. Yap, editors, Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN 96, Singapore, December 2-5, 1996, Proceedings. Volume 1179 of Lecture Notes in Computer Science, pages 321-332, Springer, 1996.

Possibly Related Publications

The following publications are possibly variants of this publication:

runs on