%0 Conference Paper %1 conf/cse/Zhang13 %A Zhang, Lichen %B CSE %D 2013 %I IEEE Computer Society %K dblp %P 595-602 %T Multi-view Approach to Specify and Model Aerospace Cyber-physical Systems. %U http://dblp.uni-trier.de/db/conf/cse/cse2013.html#Zhang13 %@ 978-0-7695-5096-1

@inproceedings{conf/cse/Zhang13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Zhang, Lichen}, biburl = {https://www.bibsonomy.org/bibtex/25719e773fbed4ef30e36b8207fc5a348/dblp}, booktitle = {CSE}, crossref = {conf/cse/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSE.2013.94}, interhash = {2d8479653c25f9796df8238bc8c53e75}, intrahash = {5719e773fbed4ef30e36b8207fc5a348}, isbn = {978-0-7695-5096-1}, keywords = {dblp}, pages = {595-602}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:13:57.000+0200}, title = {Multi-view Approach to Specify and Model Aerospace Cyber-physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/cse/cse2013.html#Zhang13}, year = 2013 }