Simulating Concurrent Behaviors with Worst-Case Cost Bounds - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. Simulating Concurrent Behaviors with Worst-Case Cost Bounds. In Michael Butler, Wolfram Schulte, editors, FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Volume 6664 of Lecture Notes in Computer Science, pages 353-368, Springer, 2011. [doi]

This author has not been identified. Look up 'Elvira Albert' in GoogleThis author has not been identified. It may be one of the following persons:

Samir Genaim

Look up 'Samir Genaim' in GoogleThis author has not been identified. Look up 'Miguel Gómez-Zamalloa' in GoogleThis author has not been identified. Look up 'Einar Broch Johnsen' in GoogleThis author has not been identified. Look up 'Rudolf Schlatte' in GoogleThis author has not been identified. Look up 'Silvia Lizeth Tapia Tarifa' in Google

runs on WebDSL