%0 Conference Paper %1 conf/psats/GuoX19 %A Guo, Jia %A Xu, Nuo %B WISATS (1) %D 2019 %E Jia, Min %E Guo, Qing %E Meng, Weixiao %I Springer %K dblp %P 456-465 %T Information Flow Design and Verification for Networked Satellite Systems. %U http://dblp.uni-trier.de/db/conf/psats/wisats2019-1.html#GuoX19 %V 280 %@ 978-3-030-19153-5

@inproceedings{conf/psats/GuoX19, added-at = {2019-06-11T00:00:00.000+0200}, author = {Guo, Jia and Xu, Nuo}, biburl = {https://www.bibsonomy.org/bibtex/2a93d56c71929b59f59203dc22db65c60/dblp}, booktitle = {WISATS (1)}, crossref = {conf/psats/2019-1}, editor = {Jia, Min and Guo, Qing and Meng, Weixiao}, ee = {https://doi.org/10.1007/978-3-030-19153-5_47}, interhash = {0400b38fe131e498ec5a374820d66c48}, intrahash = {a93d56c71929b59f59203dc22db65c60}, isbn = {978-3-030-19153-5}, keywords = {dblp}, pages = {456-465}, publisher = {Springer}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, timestamp = {2019-12-19T11:46:11.000+0100}, title = {Information Flow Design and Verification for Networked Satellite Systems.}, url = {http://dblp.uni-trier.de/db/conf/psats/wisats2019-1.html#GuoX19}, volume = 280, year = 2019 }