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

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

Research output: Book / ReportBook editingAcademic

Original languageEnglish
PublisherElsevier
Publication statusPublished - 2003

Publication series

NameElectronic Notes in Theoretical Computer Science
No.80

Bibliographical note

DBLP:journals/entcs/AcetoFI05

Cite this