APA (7th ed.) Citation

Kerboeuf, M., Nowak, D., Talpin, J., Talpin, J., Ep-atr, P., & Archives, T. P. S. U. C. (1999). The Steam Boiler Controller Problem in Signal-Coq. ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3773.ps.gz.

Chicago Style (17th ed.) Citation

Kerboeuf, Mickaël, David Nowak, Jean-Pierre Talpin, Jean-pierre Talpin, Projet Ep-atr, and The Pennsylvania State University CiteSeerX Archives. "The Steam Boiler Controller Problem in Signal-Coq." Ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3773.ps.gz 1999.

MLA (9th ed.) Citation

Kerboeuf, Mickaël, et al. "The Steam Boiler Controller Problem in Signal-Coq." Ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3773.ps.gz, 1999.