Παραπομπή σε μορφή APA (7η εκδ.)

Pace, G. J., Schneider, G., & 2006, T. I. C. o. T. A. o. C. -. I. (2006). A compositional algorithm for parallel model checking of polygonal hybrid systems.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Pace, Gordon J., Gerardo Schneider, και Third International Colloquium on Theoretical Aspects of Computing - ICTAC 2006. A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. 2006.

Παραπομπή σε μορφή MLA (9th εκδ.)

Pace, Gordon J., et al. A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. 2006.