Dayun He

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1982

2 Thomas F. Piatkowski, Lap-Kin Ip, Dayun He: State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. PSTV 1982: 135-160

1 Thomas F. Piatkowski, Lap-Kin Ip, Dayun He: State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. Computer Networks 6(6): 397-418 (1982)

1982
2		Thomas F. Piatkowski, Lap-Kin Ip, Dayun He: State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. PSTV 1982: 135-160
1		Thomas F. Piatkowski, Lap-Kin Ip, Dayun He: State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. Computer Networks 6(6): 397-418 (1982)

Coauthor Index

1 Lap-Kin Ip [1] [2]

2 Thomas F. Piatkowski [1] [2]