Languages for System Specification > Applications and New Languages > 349-357
Source
Abstract
Identifiers
book ISBN : | 978-1-4020-7990-0 |
book e-ISBN : | 978-1-4020-7991-7 |
DOI | 10.1007/1-4020-7991-5_22 |
book ISBN : | 978-1-4020-7990-0 |
book e-ISBN : | 978-1-4020-7991-7 |
DOI | 10.1007/1-4020-7991-5_22 |