The Priced-Timed Maude Tool - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Leon Bendiksen, Peter Csaba Ã–lveczky. The Priced-Timed Maude Tool. In Alexander Kurz, Marina Lenisa, Andrzej Tarlecki, editors, Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Volume 5728 of Lecture Notes in Computer Science, pages 443-448, Springer, 2009. [doi]

This author has not been identified. Look up 'Leon Bendiksen' in GoogleThis author has not been identified. Look up 'Peter Csaba Ã–lveczky' in Google

runs on WebDSL