%0 Conference Paper %1 conf/IEEEcit/TangLZSS16 %A Tang, Fei %A Liu, Jing %A Zhou, Tingliang %A Sun, Junfeng %A Sun, Haiying %B CIT %D 2016 %I IEEE Computer Society %K dblp %P 42-49 %T Spatial Alloy: An Alloy Extension for Modeling Spatial Properties. %U http://dblp.uni-trier.de/db/conf/IEEEcit/IEEEcit2016.html#TangLZSS16 %@ 978-1-5090-4314-9

@inproceedings{conf/IEEEcit/TangLZSS16, added-at = {2018-05-28T00:00:00.000+0200}, author = {Tang, Fei and Liu, Jing and Zhou, Tingliang and Sun, Junfeng and Sun, Haiying}, biburl = {https://www.bibsonomy.org/bibtex/22597a70a3a7a878020c33d27baee0602/dblp}, booktitle = {CIT}, crossref = {conf/IEEEcit/2016}, ee = {https://doi.org/10.1109/CIT.2016.78}, interhash = {97e680da373a1186b89aa0f8b9f51275}, intrahash = {2597a70a3a7a878020c33d27baee0602}, isbn = {978-1-5090-4314-9}, keywords = {dblp}, pages = {42-49}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T16:37:26.000+0200}, title = {Spatial Alloy: An Alloy Extension for Modeling Spatial Properties.}, url = {http://dblp.uni-trier.de/db/conf/IEEEcit/IEEEcit2016.html#TangLZSS16}, year = 2016 }