S. Yovine, A. Olivero, L. Córdoba, D. Monteverde, and G. Reiter. 2010.
An approach for the verification of the temporal consistency of NCL applications. In <em>Anais Estendidos do XVI Simpósio Brasileiro de Sistemas Multimídia e Web</em>, outubro 05, 2010, Belo Horizonte, Brasil. SBC, Porto Alegre, Brasil, 179-184.