HKUST Library Institutional Repository Banner

HKUST Institutional Repository >

Items for Author "Giannakopoulou, Dimitra"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 4 items.

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