JOT
The Journal of Object Technology
An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Articles matching “Chung”
Jagadish Suryadevara
,
Lawrence Chung
,
R.K. Shyamasundar
,
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
, pp. 187-207,
PDF
,
HTML
,
DOI
.
Volume 7, no. 8 (November 2008)