APA (7th ed.) Citation
Jess, J. (1993). Tutorial Notes. High level Modeling and Formal Verification: Tutorial G. Eindhoven University of Technology.
Chicago Style (17th ed.) Citation
Jess, J.A.G. Tutorial Notes. High Level Modeling and Formal Verification: Tutorial G. Eindhoven: Eindhoven University of Technology, 1993.
MLA (9th ed.) Citation
Jess, J.A.G. Tutorial Notes. High Level Modeling and Formal Verification: Tutorial G. Eindhoven University of Technology, 1993.
Warning: These citations may not always be 100% accurate.