Francesca Saglietti. Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams. In Peter Daniel, editor, 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997. pages 345-356, Springer, 1997. [doi]
@inproceedings{Saglietti97,
title = {Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams},
author = {Francesca Saglietti},
year = {1997},
doi = {10.1007/978-1-4471-0997-6_27},
url = {https://doi.org/10.1007/978-1-4471-0997-6_27},
researchr = {https://researchr.org/publication/Saglietti97},
cites = {0},
citedby = {0},
pages = {345-356},
booktitle = {16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997},
editor = {Peter Daniel},
publisher = {Springer},
isbn = {978-3-540-76191-4},
}