Tianxiang Lu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2011–2015
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SETTA | Formal Verification of the Pastry Protocol Using \mathrmTLA^+. | Tianxiang Lu |
| 2011 | FORTE | Towards Verification of the Pastry Protocol Using TLA | Tianxiang Lu, Stephan Merz, Christoph Weidenbach |