Herman Augusto Lepikson, Leandro Buss Becker. Latin-American Workshop on Dependable Automation Systems. In Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, editors, Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings. Volume 3747 of Lecture Notes in Computer Science, pages 262, Springer, 2005. [doi]
Abstract is missing.