EL
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Symbolic model-checking with Set Rewriting |  | 2015 | 929 | 1,341 | |||
| Built-in support for Abstract Data Types in the Σ Decision Diagram framework |  | 2010 | 218 | 1 |
Archive ouverte UNIGE
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Symbolic model-checking with Set Rewriting | | 2015 | 929 | 1,341 | |||
| Built-in support for Abstract Data Types in the Σ Decision Diagram framework | | 2010 | 218 | 1 |
