Departmental Papers (CIS)

Date of this Version

12-2012

Document Type

Journal Article

Subject Area

CPS Formal Methods

Publication Source

Formal Methods in System Design

Volume

41

Issue

3

Start Page

233

Last Page

235

DOI

10.1007/s10703-012-0174-0

Copyright/Permission Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/s10703-012-0174-0

Share

COinS
 

Date Posted: 03 January 2013

This document has been peer reviewed.