APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.