HKUST Institutional Repository: Items for Author

HKUST Library Institutional Repository Banner

	Home
	About the Repository
	Size
	Top 20
	HKIR - Cross-Searching HK Repositories
	HKUST Scholarly Publications Database

Browse
	Communities & Collections
	Titles
	Authors
	By Date

HKUST Institutional Repository >

Items for Author "Giannakopoulou, Dimitra"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 4 items.

Date of Issue	Title	Authors
Oct-1996	Incorporating verification of liveness properties in compositional reachability analysis	Cheung, Shing-Chi; Giannakopoulou, Dimitra; Kramer, Jeff
Jan-1997	Tracta : an environment for analysing the behaviour of distributed systems	Giannakopoulou, Dimitra; Kramer, Jeff; Cheung, Shing-Chi
Nov-1997	Verification of liveness properties using compositional reachability analysis	Cheung, Shing-Chi; Giannakopoulou, Dimitra; Kramer, Jeff
Jan-1999	Behaviour analysis of distributed systems using the tracta approach	Giannakopoulou, Dimitra; Kramer, Jeff; Cheung, Shing-Chi