 | 2012 |
|---|
| 4 |       | Gianfranco Ciardo,
Yang Zhao,
Xiaoqing Jin:
Ten Years of Saturation: A Petri Net Perspective.
T. Petri Nets and Other Models of Concurrency 5: 51-95 (2012) |
| 2011 |
|---|
| 3 | | Xiaoqing Jin,
Gianfranco Ciardo,
Tae-Hyong Kim,
Yang Zhao:
Symbolic Verification and Test Generation for a Network of Communicating FSMs.
ATVA 2011: 432-442 |
| 2 | | Yang Zhao,
Xiaoqing Jin,
Gianfranco Ciardo:
A Symbolic Algorithm for Shortest EG Witness Generation.
TASE 2011: 68-75 |
| 2009 |
|---|
| 1 | | Gianfranco Ciardo,
Yang Zhao,
Xiaoqing Jin:
Parallel symbolic state-space exploration is difficult, but what is the alternative?
PDMC 2009: 1-17 |
Data released under the ODC-BY 1.0 license — See also our legal information page