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]
Abstract is missing.