Items where Author is "Zhang, Xiao Jun"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
Zhang, Xiao Jun (2004) Automatic generation of SDL specifications from timed MSCs. Masters thesis, Concordia University.
Zhang, Xiao Jun (2004) Automatic generation of SDL specifications from timed MSCs. Masters thesis, Concordia University.