JaCoW Logo

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

Use Complete Form

For BibTeX

References

Back to search