State space reduction using partial order techniques

Authors:

Publisher website

1 November 1999

journal article
special section-on-model-checking
Published by Springer Nature in International Journal on Software Tools for Technology Transfer

Vol. 2 (3) , 279-287
DOI:10.1007/s100090050035

Abstract

No abstract available

Keywords

KEY WORDS: STATE SPACE REDUCTION – PARTIAL ORDER REDUCTION

Cited by 171 articles