Boigelot, B., & Alur, R. (1996). Computer aided verification: Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 ([1st ed.].). Springer.
Citácia podle Chicago (17th ed.)Boigelot, Bernard, a R. Alur. Computer Aided Verification: Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996. [1st ed.]. Berlin: Springer, 1996.
Citácia podľa MLA (8th ed.)Boigelot, Bernard, a R. Alur. Computer Aided Verification: Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996. [1st ed.]. Springer, 1996.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..