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

Gong Jiayu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
1EEXuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256

Coauthor Index

1Xuandong Li [1]
2Shi Yaoxin [1]
3Jianhua Zhao [1]
4Guoliang Zheng [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)