%0 Conference Paper %1 conf/sofl/LuoLWZ16 %A Luo, Juan %A Liu, Shaoying %A Wang, Yanqin %A Zhou, Tingliang %B SOFL+MSVL %D 2016 %E Liu, Shaoying %E Duan, Zhenhua %E Tian, Cong %E Nagoya, Fumiko %K dblp %P 160-177 %T Applying SOFL to a Railway Interlocking System in Industry. %U http://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#LuoLWZ16 %V 10189 %@ 978-3-319-57708-1

@inproceedings{conf/sofl/LuoLWZ16, added-at = {2017-05-17T00:00:00.000+0200}, author = {Luo, Juan and Liu, Shaoying and Wang, Yanqin and Zhou, Tingliang}, biburl = {https://www.bibsonomy.org/bibtex/233f05030e0d2aa57a054d047f997f3df/dblp}, booktitle = {SOFL+MSVL}, crossref = {conf/sofl/2016}, editor = {Liu, Shaoying and Duan, Zhenhua and Tian, Cong and Nagoya, Fumiko}, ee = {https://doi.org/10.1007/978-3-319-57708-1_10}, interhash = {01f3439d4f3df2b54ed1a6e0bacb6e9e}, intrahash = {33f05030e0d2aa57a054d047f997f3df}, isbn = {978-3-319-57708-1}, keywords = {dblp}, pages = {160-177}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:35:04.000+0200}, title = {Applying SOFL to a Railway Interlocking System in Industry.}, url = {http://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#LuoLWZ16}, volume = 10189, year = 2016 }