Tampere University of Technology

TUTCRIS Research Portal

Formal methods in factory automation

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Standard

Formal methods in factory automation. / Popescu, Corina; Martinez Lastra, Jose L.

Factory Automation. ed. / Javier Silvestre-Blanes. Croatia : In-Teh, 2010. p. 463-475.

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Harvard

Popescu, C & Martinez Lastra, JL 2010, Formal methods in factory automation. in J Silvestre-Blanes (ed.), Factory Automation. In-Teh, Croatia, pp. 463-475.

APA

Popescu, C., & Martinez Lastra, J. L. (2010). Formal methods in factory automation. In J. Silvestre-Blanes (Ed.), Factory Automation (pp. 463-475). Croatia: In-Teh.

Vancouver

Popescu C, Martinez Lastra JL. Formal methods in factory automation. In Silvestre-Blanes J, editor, Factory Automation. Croatia: In-Teh. 2010. p. 463-475

Author

Popescu, Corina ; Martinez Lastra, Jose L. / Formal methods in factory automation. Factory Automation. editor / Javier Silvestre-Blanes. Croatia : In-Teh, 2010. pp. 463-475

Bibtex - Download

@inbook{718c6a24297048fb8f1ce4a49915ffc6,
title = "Formal methods in factory automation",
author = "Corina Popescu and {Martinez Lastra}, {Jose L.}",
note = "Contribution: organisation=tte,FACT1=1",
year = "2010",
language = "English",
isbn = "978-953-307-024-7",
pages = "463--475",
editor = "Javier Silvestre-Blanes",
booktitle = "Factory Automation",
publisher = "In-Teh",

}

RIS (suitable for import to EndNote) - Download

TY - CHAP

T1 - Formal methods in factory automation

AU - Popescu, Corina

AU - Martinez Lastra, Jose L.

N1 - Contribution: organisation=tte,FACT1=1

PY - 2010

Y1 - 2010

M3 - Chapter

SN - 978-953-307-024-7

SP - 463

EP - 475

BT - Factory Automation

A2 - Silvestre-Blanes, Javier

PB - In-Teh

CY - Croatia

ER -