Citace podle APA (7th ed.)

Fisher, M. (2011). Selected Applications. Introduction to Practical Formal Methods Using Temporal Logic, 243. https://doi.org/10.1002/9781119991472.ch7

Citace podle Chicago (17th ed.)

Fisher, Michael. "Selected Applications." Introduction to Practical Formal Methods Using Temporal Logic 2011: 243. https://doi.org/10.1002/9781119991472.ch7.

Citace podle MLA (9th ed.)

Fisher, Michael. "Selected Applications." Introduction to Practical Formal Methods Using Temporal Logic, 2011, p. 243, https://doi.org/10.1002/9781119991472.ch7.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..