Reference Search

Favourites

For Word

[n]	R. Frankel, A. Herman, P. Stattel, and R. Warkentien, “Process Control for the Isabelle System”, in Proc. PAC'81, Washington D.C., USA, Mar. 1981, pp. 2246-2249. 

For LaTeX

%\cite{Frankel:PAC81} \bibitem{Frankel:PAC81} R. Frankel, A. Herman, P. Stattel, and R. Warkentien, \textquotedblleft{Process Control for the Isabelle System}\textquotedblright, in \emph{Proc. PAC’81}, Washington D.C., USA, Mar. 1981, pp. 2246--2249.

For BibTeX

@inproceedings{frankel:pac81, author = {R. Frankel and A. Herman and P. Stattel and R. Warkentien}, title = {{Process Control for the Isabelle System}}, booktitle = {Proc. PAC'81}, pages = {2246--2249}, paper = {}, venue = {Washington D.C., USA, Mar. 1981}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} }

References

• R. Frankel, A. Herman, P. Stattel, and R. Warkentien, “Process Control for the Isabelle System”, in Proc. 9th Particle Accelerator Conf. (PAC'81), Washington D.C., USA, Mar. 1981, pp. 2246-2249.