Items where Author is "Jensen, Lin"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
Jensen, Lin (1991) An efficient algorithm and software package for verifying delay-insensitive systems using a partial-order model. Masters thesis, Concordia University.