%0 Conference Paper %1 conf/utp/ChenRWYZ16 %A Chen, Mingshuai %A Ravn, Anders P. %A Wang, Shuling %A Yang, Mengfei %A Zhan, Naijun %B UTP %D 2016 %E Bowen, Jonathan P. %E Zhu, Huibiao %I Springer %K dblp %P 65-92 %T A Two-Way Path Between Formal and Informal Design of Embedded Systems. %U http://dblp.uni-trier.de/db/conf/utp/utp2016.html#ChenRWYZ16 %V 10134 %@ 978-3-319-52227-2

@inproceedings{conf/utp/ChenRWYZ16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Chen, Mingshuai and Ravn, Anders P. and Wang, Shuling and Yang, Mengfei and Zhan, Naijun}, biburl = {https://www.bibsonomy.org/bibtex/211f369bc6332841a8eee93a723523f70/dblp}, booktitle = {UTP}, crossref = {conf/utp/2016}, editor = {Bowen, Jonathan P. and Zhu, Huibiao}, ee = {https://doi.org/10.1007/978-3-319-52228-9_4}, interhash = {90f97fd6c493adae845a33480d8607dc}, intrahash = {11f369bc6332841a8eee93a723523f70}, isbn = {978-3-319-52227-2}, keywords = {dblp}, pages = {65-92}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:29:25.000+0200}, title = {A Two-Way Path Between Formal and Informal Design of Embedded Systems.}, url = {http://dblp.uni-trier.de/db/conf/utp/utp2016.html#ChenRWYZ16}, volume = 10134, year = 2016 }