A. Sousa, Alfrânio Correia Jr., Francisco Moura, José Pereira, Rui Carlos Oliveira. Evaluating Certification Protocols in the Partial Database State Machine. In Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria. pages 855-863, IEEE Computer Society, 2006. [doi]
@inproceedings{SousaCMPO06,
title = {Evaluating Certification Protocols in the Partial Database State Machine},
author = {A. Sousa and Alfrânio Correia Jr. and Francisco Moura and José Pereira and Rui Carlos Oliveira},
year = {2006},
doi = {10.1109/ARES.2006.60},
url = {http://doi.ieeecomputersociety.org/10.1109/ARES.2006.60},
tags = {protocol, certification, partial evaluation, database, state machines},
researchr = {https://researchr.org/publication/SousaCMPO06},
cites = {0},
citedby = {0},
pages = {855-863},
booktitle = {Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria},
publisher = {IEEE Computer Society},
}