Verifying Chi models of industrial systems with Spin

N. Trcka

Research output: Book/ReportReportAcademic

22 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages24
Publication statusPublished - 2005

Publication series

NameComputer science reports
Volume0512
ISSN (Print)0926-4515

Cite this

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.

Verifying Chi models of industrial systems with Spin. / Trcka, N.

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

Research output: Book/ReportReportAcademic

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).