[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/266557.266607guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

A solution of an interleaving decision problem by a partial order technique

Published: 01 February 1997 Publication History

Abstract

No abstract available.

Information & Contributors

Information

Published In

cover image Guide Proceedings
POMIV '96: Proceedings of the DIMACS workshop on Partial order methods in verification
February 1997
403 pages
ISBN:0821805797

Publisher

AMS Press, Inc.

United States

Publication History

Published: 01 February 1997

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 0
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Dec 2024

Other Metrics

Citations

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media