@ARTICLE {2552,
author={A. Sernadas and C. Sernadas and J. Ramos},
doi={},
journal={Data and Knowledge Engineering},
title={A Temporal Logic Approach to Object Certification},
year={1996},
month={January},
volume={19},
number={-},
pages={267-294},
ISSN={0169-023X}
}
Create and download bib file