From Scenarios to Test Implementations Via Promela

MLA

El-Hachemi Alikacem, et al. From Scenarios to Test Implementations Via Promela. Jan. 2010. EBSCOhost, https://doi.org/10.1007/978-3-642-16573-3_17.

APA

El-Hachemi Alikacem, Sergiy Boroday, Andreas Ulrich, & Hesham H. Hallal. (2010). From Scenarios to Test Implementations Via Promela. https://doi.org/10.1007/978-3-642-16573-3_17

Chicago

El-Hachemi Alikacem, Sergiy Boroday, Andreas Ulrich, and Hesham H. Hallal. 2010. “From Scenarios to Test Implementations Via Promela,” January. doi:10.1007/978-3-642-16573-3_17.