UNIGE document Chapitre d'actes
previous document  unige:9826  next document
add to browser collection
Title

Specification of Decision Diagram Operations

Authors
Hamez, Alexandre
Paviot-Adet, Emmanuel
Published in Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010. Braga (Portugal) - 22nd June 2010 - . 2010
Full text
Proceedings chapter (528 Kb) - public document Free access
Structures
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. https://archive-ouverte.unige.ch/unige:9826

266 hits

117 downloads

Update

Deposited on : 2010-07-30

Export document
Format :
Citation style :