| 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: |
06 Oct 2012 07:37 |
| Id Number (DOI): |
10.1007/3-540-45657-0_38 |
| Permalink: |
http://porto.polito.it/id/eprint/1408553 |
| Linksolver URL: |
 |
