APA (7th ed.) Citation

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 Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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