{"_id":"Nw2NbnvRgSjWk2HaE","bibbaseid":"fan-wang-applicationofformalsafetyassessmentonplanningvts-2008","downloads":0,"creationDate":"2017-10-16T16:33:09.844Z","title":"Application of Formal Safety Assessment on planning VTS.","author_short":["Fan, Y.","Wang, J."],"year":2008,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/jie wang?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Fan"],"firstnames":["Yao-Tian"],"suffixes":[]},{"propositions":[],"lastnames":["Wang"],"firstnames":["Jie"],"suffixes":[]}],"booktitle":"SMC","crossref":"conf/smc/2008","ee":"http://dx.doi.org/10.1109/ICSMC.2008.4811620","interhash":"319a8e815fb3afd1c2fedd9a60e7072a","intrahash":"59f4086eb6271c78d339c8eef7f74477","isbn":"978-1-4244-2383-5","pages":"2207-2212","publisher":"IEEE","title":"Application of Formal Safety Assessment on planning VTS.","url":"http://dblp.uni-trier.de/db/conf/smc/smc2008.html#FanW08","year":"2008","bibtex":"@inproceedings{conf/smc/FanW08,\n author = {Fan, Yao-Tian and Wang, Jie},\n booktitle = {SMC},\n crossref = {conf/smc/2008},\n ee = {http://dx.doi.org/10.1109/ICSMC.2008.4811620},\n interhash = {319a8e815fb3afd1c2fedd9a60e7072a},\n intrahash = {59f4086eb6271c78d339c8eef7f74477},\n isbn = {978-1-4244-2383-5},\n pages = {2207-2212},\n publisher = {IEEE},\n title = {Application of Formal Safety Assessment on planning VTS.},\n url = {http://dblp.uni-trier.de/db/conf/smc/smc2008.html#FanW08},\n year = 2008\n}\n\n","author_short":["Fan, Y.","Wang, J."],"key":"conf/smc/FanW08","id":"conf/smc/FanW08","bibbaseid":"fan-wang-applicationofformalsafetyassessmentonplanningvts-2008","role":"author","urls":{"Link":"http://dx.doi.org/10.1109/ICSMC.2008.4811620","Paper":"http://dblp.uni-trier.de/db/conf/smc/smc2008.html#FanW08"},"downloads":0},"search_terms":["application","formal","safety","assessment","planning","vts","fan","wang"],"keywords":[],"authorIDs":[],"dataSources":["xFjM6NgS6WTTcFJxk"]}