Items where Author is "Winter, K."
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Gawanmeh, A., Tahar, Sofiène and Winter, K. (2008) Formal verification of ASMs using MDGs. Journal of Systems Architecture, 54 (1-2). pp. 15-34. ISSN 13837621