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