Dhaussy, P., Roger, J., & Boniol, F. (2012). Context Aware Model-Checking for Embedded Software. IntechOpen. https://doi.org/10.5772/37975
Chicago Style (17th ed.) CitationDhaussy, Philippe, Jean-Charles Roger, and Frédéric Boniol. Context Aware Model-Checking for Embedded Software. IntechOpen, 2012. https://doi.org/10.5772/37975.
MLA (9th ed.) CitationDhaussy, Philippe, et al. Context Aware Model-Checking for Embedded Software. IntechOpen, 2012. https://doi.org/10.5772/37975.
Warning: These citations may not always be 100% accurate.