APA Style

BOS, VICTOR, KLEIJN, JEROEN JAHANNES THEODORUS. (2002). Formal specification and analysis of industrial systems (1). Eindhoven: Technische Universiteit Eindhoven.

Chicago Style

BOS, VICTOR, KLEIJN, JEROEN JAHANNES THEODORUS. Formal specification and analysis of industrial systems. 1 Eindhoven: Technische Universiteit Eindhoven, 2002. TXB.

MLA Style

BOS, VICTOR, KLEIJN, JEROEN JAHANNES THEODORUS. Formal specification and analysis of industrial systems. 1 Eindhoven: Technische Universiteit Eindhoven, 2002. TXB.

Turabian Style

BOS, VICTOR, KLEIJN, JEROEN JAHANNES THEODORUS. Formal specification and analysis of industrial systems. 1 Eindhoven: Technische Universiteit Eindhoven, 2002. TXB.