Classen10

A. Classen, P. Heymans, A. Legay, J-F Raskin, P-Y Schobbens. Model Checking lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In Proc. 32nd International Conference on Software Engineering, ACM, Cap Town,, Pages 335-344, 2010.

Keyword

[ Component ]

BibTex Reference

@InProceedings{Classen10,
   Author = {Classen, A. and Heymans, P. and Legay, A. and Raskin, J-F and Schobbens, P-Y},
   Title = {Model Checking lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines},
   BookTitle = {Proc. 32nd International Conference on Software Engineering, ACM, Cap Town},
   Pages = {335--344},
   Series = {},
   Publisher = {},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)