Convergence and Hybrid Information Technology: 6th International Conference, Ichit 2012, Daejeon, Korea, August 23-25, 2012. Proceedings Convergence and Hybrid Information Technology: 6th International Conference, Ichit 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, Sbmf 2012, Natal, Brazil, September 23-28, 2012. Proceedings Formal Methods: Foundations and Applications: 15th Brazilian Symposium, Sbmf 2012, Natal, Brazil, September 23-28, 2012. Proceedings