D. Hung

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

1 D. Hung, P. Thai: On Checking Parallel Real-Time Systems for Linear Duration Invariants. PDSE 1998: 61-71

	1998
1		D. Hung, P. Thai: On Checking Parallel Real-Time Systems for Linear Duration Invariants. PDSE 1998: 61-71

Coauthor Index