Citace podle APA (7th ed.)

Einarsson, V. (2000). Model checking methods for mode switching systems. Dept. of Electrical Engineering, Linköpings universitet.

Citace podle Chicago (17th ed.)

Einarsson, Valur. Model Checking Methods for Mode Switching Systems. Linköping: Dept. of Electrical Engineering, Linköpings universitet, 2000.

Citace podle MLA (8th ed.)

Einarsson, Valur. Model Checking Methods for Mode Switching Systems. Dept. of Electrical Engineering, Linköpings universitet, 2000.

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