dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Chuen-Hau Gao Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2002
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Chuen-Hau Gao: Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. Electr. Notes Theor. Comput. Sci. 65(6): 140-159 (2002)
2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang: Verifiable Embedded Real-Time Application Framework. IEEE Real Time Technology and Applications Symposium 2001: 109-110

Coauthor Index

1Yu-Ming Chang [1]
2Shu-Yu Cheng [1]
3Pao-Ann Hsiung [1] [2]
4Feng-Shi Su [1]

Last update Wed May 30 22:34:44 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page