Reference Search

Reference

For Word

[n]	J. Jacky and R. Risler, “Formal Specifications for a Cyclotron Control System”, in Proc. Cyclotrons'92, Vancouver, Canada, Jul. 1992, paper XI-14, pp. 689-692.

For LaTeX

%\cite{Jacky:Cyclotrons92-XI-14} \bibitem{Jacky:Cyclotrons92-XI-14} J. Jacky and R. Risler, \textquotedblleft{Formal Specifications for a Cyclotron Control System}\textquotedblright, in \emph{Proc. Cyclotrons’92}, Vancouver, Canada, Jul. 1992, paper XI--14, pp. 689--692.

For BibTeX

@inproceedings{jacky:cyclotrons92-xi-14, author = {J. Jacky and R. Risler}, title = {{Formal Specifications for a Cyclotron Control System}}, booktitle = {Proc. Cyclotrons'92}, pages = {689--692}, paper = {XI-14}, venue = {Vancouver, Canada, Jul. 1992}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/c92/papers/XI-14.pdf}, language = {english} }

Use Complete Form

Metadata

Paper Title: Formal Specifications for a Cyclotron Control System
Paper URL: https://jacow.org/c92/papers/XI-14.pdf
Conference: 13th Int. Cyclotron Conf. and Their Applications (Cyclotrons'92)
Paper ID: XI-14
Location in proceedings: 689-692
Original Author String: J. Jacky, R. Risler, University of Washington, Seattle, Washington, USA

Associated Authors

Back to the list