Specification of Decision Diagram Operations

Hamez, Alexandre; Hostettler, Steve Patrick; Linard, Alban; Marechal Marin, Alexis Ayar; Paviot-Adet, Emmanuel; Risoldi, Matteo

Proceedings chapter

English

Specification of Decision Diagram Operations

Contributors

Hamez, Alexandre; Hostettler, Steve Patrick; Linard, Alban; Marechal Marin, Alexis Ayar; Paviot-Adet, Emmanuel; Risoldi, Matteo

Presented at

Braga (Portugal), 22nd June 2010

Published in

Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010

Publication date

2010

UNIGE affiliation entities

UNIGE research groups

Software Modeling and Verification

Citation (ISO format)

HAMEZ, Alexandre et al. Specification of Decision Diagram Operations. In: Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010. Braga (Portugal). [s.l.] : [s.n.], 2010.

Proceedings chapter

Identifiers

PID : unige:9826

589views

260downloads

Creation

08/07/2010 16:57:00

First validation

08/07/2010 16:57:00

Update

14/03/2023 15:55:55

Status update

14/03/2023 15:55:55

Last indexation

29/10/2024 16:17:58

Specification of Decision Diagram Operations

Contributors

Presented at

Published in

Publication date

UNIGE affiliation entities

UNIGE research groups

Citation (ISO format)

Main files (1)

Identifiers

Technical informations

Creation

First validation

Update

Status update

Last indexation