Ping Hung Karl R. Leung

According to our database, Ping Hung Karl R. Leung authored at least 2 papers between 1993 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Domain modelling: with a case study in air traffic

Ping Hung Karl R. Leung

PhD thesis, 1997

1993

Structured Specifications, Semantics, and System Semantics.

Ping Hung Karl R. Leung, Haizhou Li

Proceedings of the SEKE'93, 1993