The Priced-Timed Maude Tool

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]

Authors

Leon Bendiksen

This author has not been identified. Look up 'Leon Bendiksen' in Google

Peter Csaba Ölveczky

This author has not been identified. Look up 'Peter Csaba Ölveczky' in Google