Murilo S. de Camargo, Jean-Marie Farines. Uma abordagem para especificação e verificação de sistemas dependentes do tempo. In Jaelson Freire Brelaz De Castro, editor, Proceedings of the 9th Brazilian Symposium on Software Engineering, SBES 1995, Recife, PE, Brazil, October 3-6, 1995. pages 107-122, SBC, 1995. [doi]
@inproceedings{CamargoF95,
title = {Uma abordagem para especificação e verificação de sistemas dependentes do tempo},
author = {Murilo S. de Camargo and Jean-Marie Farines},
year = {1995},
doi = {10.5753/sbes.1995.24079},
url = {https://doi.org/10.5753/sbes.1995.24079},
researchr = {https://researchr.org/publication/CamargoF95},
cites = {0},
citedby = {0},
pages = {107-122},
booktitle = {Proceedings of the 9th Brazilian Symposium on Software Engineering, SBES 1995, Recife, PE, Brazil, October 3-6, 1995},
editor = {Jaelson Freire Brelaz De Castro},
publisher = {SBC},
}