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

Geng-Dian Hwang

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

2005
5EEYuh-Jzer Joung, Geng-Dian Hwang: A Simple and Fast Algorithm for Bluetooth Network Formation. NETWORKING 2005: 1413-1417
2003
4EEFarn Wang, Geng-Dian Hwang, Fang Yu: TCTL Inevitability Analysis of Dense-Time Systems. CIAA 2003: 176-187
3EEFarn Wang, Geng-Dian Hwang, Fang Yu: Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. FORTE 2003: 160-176
2EEFarn Wang, Geng-Dian Hwang, Fang Yu: TCTL Inevitability Analysis of Dense-time Systems CoRR cs.SC/0304003: (2003)
1EEFarn Wang, Geng-Dian Hwang, Fang Yu: Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems CoRR cs.SE/0303027: (2003)

Coauthor Index

1Yuh-Jzer Joung [5]
2Farn Wang [1] [2] [3] [4]
3Fang Yu [1] [2] [3] [4]

Colors in the list of coauthors

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