Zining Cao. Modal ZIA, Modal Refinement Relation and Logical Characterization. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. pages 525-530, Knowledge Systems Institute Graduate School, 2012.
@inproceedings{Cao12-1,
title = {Modal ZIA, Modal Refinement Relation and Logical Characterization},
author = {Zining Cao},
year = {2012},
researchr = {https://researchr.org/publication/Cao12-1},
cites = {0},
citedby = {0},
pages = {525-530},
booktitle = {Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012},
publisher = {Knowledge Systems Institute Graduate School},
isbn = {1-891706-31-4},
}