JaCoW Logo

Reference Search

Favourites


For Word

[n]	R. Chasman and G. A. Voss, “Isabelle e-p Option”, in Proc. PAC'73, San Francisco, CA, USA, Mar. 1973, pp. 777-782. 

For LaTeX

Use Complete Form

For BibTeX

References

Back to search