Specification of Decision Diagram Operations

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

Proceedings chapter

Open access

English

Specification of Decision Diagram Operations

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

Published inProceedings of the workshops APNOC and SUMo, Braga, June 22, 2010

Presented at Braga (Portugal), 22nd June 2010

Publication date2010

Affiliation

Research group

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

531views

165downloads

Creation07/08/2010 4:57:00 PM

First validation07/08/2010 4:57:00 PM

Update time03/14/2023 3:55:55 PM

Status update03/14/2023 3:55:55 PM

Last indexation02/12/2024 7:00:37 PM

Archive ouverte UNIGE

Specification of Decision Diagram Operations

Technical informations