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.

The Concurrency Workbench with Priorities

Claus Torp Jensen. The Concurrency Workbench with Priorities. In Kim Guldstrand Larsen, Arne Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Volume 575 of Lecture Notes in Computer Science, pages 147-157, Springer, 1991.

Authors

Claus Torp Jensen

This author has not been identified. Look up 'Claus Torp Jensen' in Google
runs on