APA引文

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引文

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

警告：這些引文格式不一定是100％准確.