Kevin X. He

List of publications from the DBLP Bibliography Server - FAQ

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

2000

2 EE Kevin X. He, Michael D. Lemmon: Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets. ICATPN 2000: 227-243

1998

1 Kevin X. He, Michael D. Lemmon: Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems. HSCC 1998: 175-189

2000
2	EE	Kevin X. He, Michael D. Lemmon: Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets. ICATPN 2000: 227-243
1998
1		Kevin X. He, Michael D. Lemmon: Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems. HSCC 1998: 175-189

Coauthor Index

1 Michael D. Lemmon [1] [2]