[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.
%\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.
@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} }