Huaikou Miao

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Xiaolei Gao

> Home > Persons > Huaikou Miao

Publications

2009
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/GaoM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/GaoM09
Xiaolei Gao, Huaikou Miao:
Proving Total Correctness of Refinement Based on Tableau. ISPA 2009: 702-707
2008
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/fcst/GaoM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fcst/GaoM08
Xiaolei Gao, Huaikou Miao:
The Axiomatic Semantics of PDFD. FCST 2008: 139-146
2003
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/gcc/GaoMC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcc/GaoMC03
Xiaolei Gao, Huaikou Miao, Yihai Chen:
Structured Object-Z Software Specification Language. GCC (1) 2003: 956-963
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/gcc/GaoMLL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcc/GaoMLL03
Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu:
The Availability Semantics of Predicate Data Flow Diagram. GCC (2) 2003: 970-977
2002
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LiuMG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LiuMG02
Jing Liu, Huaikou Miao, Xiaolei Gao:
A Specification-Based Software Construction Framework for Reuse. ICFEM 2002: 69-79
1999
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/MiaoGL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/MiaoGL99
Huaikou Miao, Xiaolei Gao, Ling Liu:
An Approach to Testing the Nonexistence of Initial State in Z Specifications. Asian Test Symposium 1999: 289-294

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.