Verifying Chi models of industrial systems with Spin

N. Trcka

Research output: Book/Report › Report › Academic

22 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	24
Publication status	Published - 2005

Trcka, N. (2005). Verifying Chi models of industrial systems with Spin. (Computer science reports; Vol. 0512). Eindhoven: Technische Universiteit Eindhoven.

Trcka, N. / Verifying Chi models of industrial systems with Spin. Eindhoven : Technische Universiteit Eindhoven, 2005. 24 p. (Computer science reports).

@book{8adc198691b246168910894c03534e00,

title = "Verifying Chi models of industrial systems with Spin",

author = "N. Trcka",

year = "2005",

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

}

Trcka, N 2005, Verifying Chi models of industrial systems with Spin. Computer science reports, vol. 0512, Technische Universiteit Eindhoven, Eindhoven.

Eindhoven : Technische Universiteit Eindhoven, 2005. 24 p. (Computer science reports; Vol. 0512).

Research output: Book/Report › Report › Academic

TY - BOOK

T1 - Verifying Chi models of industrial systems with Spin

AU - Trcka, N.

PY - 2005

Y1 - 2005

M3 - Report

T3 - Computer science reports

BT - Verifying Chi models of industrial systems with Spin

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Trcka N. Verifying Chi models of industrial systems with Spin. Eindhoven: Technische Universiteit Eindhoven, 2005. 24 p. (Computer science reports).