Khan-06

A.M. Khan. Connection of Compositional Verification Tools for Embedded Systems. Master Thesis UJF Grenoble, 2006.

BibTex Reference

@MasterThesis{Khan-06,
   Author = {Khan, A.M.},
   Title = {Connection of Compositional Verification Tools for Embedded Systems},
   School = {UJF Grenoble},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)