Scopus
EXPORT DATE: 5 December 2018

@ARTICLE{Amparore201873,
author={Amparore, E.G. and Donatelli, S. and Beccuti, M. and Garbi, G. and Miner, A.},
title={Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2018},
volume={11090 LNCS},
pages={73-92},
doi={10.1007/978-3-662-58381-4_4},
note={cited By 0},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85057210201&doi=10.1007%2f978-3-662-58381-4_4&partnerID=40&md5=44aaea55fdc47dddf71eeca574d4cd5a},
document_type={Book Chapter},
source={Scopus},
}