APA (7th ed.) Citation

JOUBERT, C., & MATEESCU, R. (2006). Distributed on-the-fly model checking and test case generation. Lecture notes in computer science, 126-145.

Chicago Style (17th ed.) Citation

JOUBERT, Christophe, and Radu MATEESCU. "Distributed On-the-fly Model Checking and Test Case Generation." Lecture Notes in Computer Science 2006: 126-145.

MLA (9th ed.) Citation

JOUBERT, Christophe, and Radu MATEESCU. "Distributed On-the-fly Model Checking and Test Case Generation." Lecture Notes in Computer Science, 2006, pp. 126-145.