Peikun Tsai

According to our database¹, Peikun Tsai authored at least 2 papers between 1992 and 1993.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1993

A Verification Helper for Task Specifications.

[BibT_eX]

[DOI]

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

1992

Ada/TL specification and verification of a distributed computation.

[BibT_eX]

[DOI]

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992