%0 Conference Paper %1 conf/icfem/DongM18 %A Dong, Naipeng %A Muller, Tim %B ICFEM %D 2018 %E Sun, Jing %E Sun, Meng %I Springer %K dblp %P 37-53 %T The Foul Adversary: Formal Models. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2018.html#DongM18 %V 11232 %@ 978-3-030-02450-5

@inproceedings{conf/icfem/DongM18, added-at = {2022-04-09T00:00:00.000+0200}, author = {Dong, Naipeng and Muller, Tim}, biburl = {https://www.bibsonomy.org/bibtex/2b45807c8d5cd32c21717f2f15e12fb61/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2018}, editor = {Sun, Jing and Sun, Meng}, ee = {https://doi.org/10.1007/978-3-030-02450-5_3}, interhash = {e4249d42f2c4336296a6a31d90bb469e}, intrahash = {b45807c8d5cd32c21717f2f15e12fb61}, isbn = {978-3-030-02450-5}, keywords = {dblp}, pages = {37-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:16:14.000+0200}, title = {The Foul Adversary: Formal Models.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2018.html#DongM18}, volume = 11232, year = 2018 }