%0 Conference Paper %1 conf/wise/ZhouHGH13 %A Zhou, Yu %A Huang, Yankai %A Ge, Jidong %A Hu, Jun %B WISE Workshops %D 2013 %E Huang, Zhisheng %E Liu, Chengfei %E He, Jing %E Huang, Guangyan %I Springer %K dblp %P 75-83 %T Towards Fine-Grained Verification of Application Mobility. %U http://dblp.uni-trier.de/db/conf/wise/wise2013w.html#ZhouHGH13 %V 8182 %@ 978-3-642-54369-2

@inproceedings{conf/wise/ZhouHGH13, added-at = {2020-03-27T00:00:00.000+0100}, author = {Zhou, Yu and Huang, Yankai and Ge, Jidong and Hu, Jun}, biburl = {https://www.bibsonomy.org/bibtex/2ee6e87e00afab457c5137f92364f637e/dblp}, booktitle = {WISE Workshops}, crossref = {conf/wise/2013w}, editor = {Huang, Zhisheng and Liu, Chengfei and He, Jing and Huang, Guangyan}, ee = {https://doi.org/10.1007/978-3-642-54370-8_7}, interhash = {444bb5ba9f4baf379b5b60af5f7d7405}, intrahash = {ee6e87e00afab457c5137f92364f637e}, isbn = {978-3-642-54369-2}, keywords = {dblp}, pages = {75-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:58:46.000+0200}, title = {Towards Fine-Grained Verification of Application Mobility.}, url = {http://dblp.uni-trier.de/db/conf/wise/wise2013w.html#ZhouHGH13}, volume = 8182, year = 2013 }