External Links

Cite Key

Statistics

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

PDF

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.

Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter

Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro. Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. In Ramesh Hariharan, Madhavan Mukund, V. Vinay, editors, FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings. Volume 2245 of Lecture Notes in Computer Science, pages 132-143, Springer, 2001. [doi]

Authors

Zhe Dang

This author has not been identified. Look up 'Zhe Dang' in Google

Oscar H. Ibarra

This author has not been identified. Look up 'Oscar H. Ibarra' in Google

Pierluigi San Pietro

This author has not been identified. Look up 'Pierluigi San Pietro' in Google
runs on