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

Wonmo Hong 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 keys1988
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen S. Yau, Wonmo Hong: Verification of Concurrent Control Flow in Distributed Computer Systems. IEEE Trans. Software Eng. 14(4): 405-417 (1988)
1984
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen S. Yau, Wonmo Hong: Performance Optimization of a CSMA Protocol for Local Computer Networks. IEEE Trans. Computers 33(9): 812-817 (1984)
1983
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. M. Lu, Stephen S. Yau, Wonmo Hong: A formal methodology using attributed grammars for multiprocessing-system software development II - Validation. Inf. Sci. 30(2): 107-123 (1983)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. M. Lu, Stephen S. Yau, Wonmo Hong: A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation. Inf. Sci. 30(2): 79-105 (1983)

Coauthor Index

1P. M. Lu [1] [2]
2Stephen S. Yau [1] [2] [3] [4]

Last update Thu May 31 18:55:10 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