Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification

Full text not available from this repository. Send a request to the author for a copy of the paper
Item Type: Article
MIUR type: Article > Journal article
Title: Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification
Authors string: Cabodi G.; S. Nocco; S. Quer
University authors:
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
Referee type: Not specified type
Volume: LNCS 2404
Page Range: pp. 471-484
Number of Pages: 14
ISSN: 0302-9743
Date: 2002
Status: Published
Language of publication:
Uncontrolled Keywords:
Departments (original): DAUIN - Control and Computer Engineering
Departments: DAUIN - Department of Control and Computer Engineering
Related URLs:
    Subjects: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
    Date Deposited: 05 Oct 2006 14:10
    Last Modified: 23 Oct 2014 15:05
    Id Number (DOI): 10.1007/3-540-45657-0_38
    Permalink: http://porto.polito.it/id/eprint/1408553
    Linksolver URL: Linksolver link

    Actions (login required)

    View Item View Item