%0 Conference Proceedings
%F Chadha10
%A Chadha, R.
%A Legay, A.
%A Prabhakar, P.
%A Viswanathan, M.
%T Complexity bounds for the verification of real-time software
%B Proc. 11th International Conference on Verification, Model Checking, and Abstraction Interpretation, Madrid
%V 5944
%P 95-111
%S Lecture Notes in Computer Science
%I Springer-verlag
%D 2010