Xiaolei Gao, Huaikou Miao. The Axiomatic Semantics of PDFD. In Japan-China Joint Workshop on Frontier of Computer Science and Technology, FCST 2008, Nagasahi, Japan, 27-28 December, 2008. pages 139-146, IEEE Computer Society, 2008. [doi]
@inproceedings{GaoM08-1,
title = {The Axiomatic Semantics of PDFD},
author = {Xiaolei Gao and Huaikou Miao},
year = {2008},
doi = {10.1109/FCST.2008.18},
url = {http://doi.ieeecomputersociety.org/10.1109/FCST.2008.18},
researchr = {https://researchr.org/publication/GaoM08-1},
cites = {0},
citedby = {0},
pages = {139-146},
booktitle = {Japan-China Joint Workshop on Frontier of Computer Science and Technology, FCST 2008, Nagasahi, Japan, 27-28 December, 2008},
publisher = {IEEE Computer Society},
isbn = {978-1-4244-3418-3},
}