Trustworthy Translation for the Requirements State Machine Language without Events I

Research output: Book/ReportCommissioned report

Original languageUndefined/Unknown
PublisherThe University of Minnesota
StatePublished - 2005

Cite this

Trustworthy Translation for the Requirements State Machine Language without Events I. / Whalen, Michael William.

The University of Minnesota, 2005.

Research output: Book/ReportCommissioned report

@book{f0af91487e4e4ff99a961fd34d90d2f8,
title = "Trustworthy Translation for the Requirements State Machine Language without Events I",
author = "Whalen, {Michael William}",
year = "2005",
language = "Undefined/Unknown",
publisher = "The University of Minnesota",

}

TY - BOOK

T1 - Trustworthy Translation for the Requirements State Machine Language without Events I

AU - Whalen, Michael William

PY - 2005

Y1 - 2005

M3 - Commissioned report

BT - Trustworthy Translation for the Requirements State Machine Language without Events I

PB - The University of Minnesota

ER -