Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake. Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. In Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA. pages 1305-1307, IEEE Computer Society, 2008. [doi]
Abstract is missing.