Chadha10

R. Chadha, A. Legay, P. Prabhakar, M. Viswanathan. Complexity bounds for the verification of real-time software. In Proc. 11th International Conference on Verification, Model Checking, and Abstraction Interpretation, Madrid, Lecture Notes in Computer Science, Volume 5944, Pages 95-111, 2010.

BibTex Reference

@InProceedings{Chadha10,
   Author = {Chadha, R. and Legay, A. and Prabhakar, P. and Viswanathan, M.},
   Title = {Complexity bounds for the verification of real-time software},
   BookTitle = {Proc. 11th International Conference on Verification, Model Checking, and Abstraction Interpretation, Madrid},
   Volume = {5944},
   Pages = {95--111},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-verlag},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)