Lichen Zhang. Aspect-Oriented Formal Techniques of Cyber Physical Systems. JSW, 7(4):823-834, 2012. [doi]
@article{Zhang12c, title = {Aspect-Oriented Formal Techniques of Cyber Physical Systems}, author = {Lichen Zhang}, year = {2012}, doi = {10.4304/jsw.7.4.823-834}, url = {http://dx.doi.org/10.4304/jsw.7.4.823-834}, researchr = {https://researchr.org/publication/Zhang12c}, cites = {0}, citedby = {0}, journal = {JSW}, volume = {7}, number = {4}, pages = {823-834}, }