State space reduction using partial order techniques

Saved in:
Bibliographic Details
Published in:International journal on software tools for technology transfer Vol. 2; no. 3; pp. 279 - 287
Main Authors: Clarke, E.M., Grumberg, O., Minea, M., Peled, D.
Format: Journal Article
Language:English
Japanese
Published: 01.11.1999
ISSN:1433-2779, 1433-2787
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISSN:1433-2779
1433-2787
DOI:10.1007/s100090050035