Proceedings of the 8th Workshop on Formal Methods for Industrial Critical Systems

T. Arts (Editor), W.J. Fokkink (Editor)

Research output: Book / Report › Book (Editorship) › Academic

Name	Electronic Notes in Theoretical Computer Science
No.	80

DBLP:journals/entcs/AcetoFI05

Persistent URL (handle)

@book{fa8d232bb49d4e00823b3b04742909ae,

title = "Proceedings of the 8th Workshop on Formal Methods for Industrial Critical Systems",

editor = "T. Arts and W.J. Fokkink",

note = "DBLP:journals/entcs/AcetoFI05 ",

year = "2003",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "80",

}

TY - BOOK

T1 - Proceedings of the 8th Workshop on Formal Methods for Industrial Critical Systems

A2 - Arts, T.

A2 - Fokkink, W.J.

N1 - DBLP:journals/entcs/AcetoFI05

PY - 2003

Y1 - 2003

M3 - Book (Editorship)

T3 - Electronic Notes in Theoretical Computer Science

BT - Proceedings of the 8th Workshop on Formal Methods for Industrial Critical Systems

PB - Elsevier

ER -