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

Hao Wang (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull: An Automated Translator for Model Checking Time Constrained Workflow Systems. FMICS 2010: 99-114
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFazle Rabbi, Hao Wang, Wendy MacCaull: Compensable WorkFlow Nets. ICFEM 2010: 122-137
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFazle Rabbi, Hao Wang, Wendy MacCaull: YAWL2DVE: An Automated Translator for Workflow Verification. SSIRI 2010: 53-59

Selection of 3 from 325 records - Hao Wang has 525 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page