On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend
| Year of publication: |
1998
|
|---|---|
| Authors: | Bhargava, Hemant K. ; Krishnan, Ramayya ; Piela, Peter |
| Published in: |
INFORMS journal on computing : JOC. - Linthicum, Md : INFORMS, ISSN 0899-1499, ZDB-ID 13160771. - Vol. 10.1998, 2, p. 189-208
|