{"year":"2010","_id":"3193","status":"public","author":[{"full_name":"Timm, Nils","last_name":"Timm","first_name":"Nils"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"date_updated":"2022-01-06T06:59:04Z","date_created":"2018-06-13T09:12:28Z","title":"On Symmetries and Spotlights - Verifying Parameterised Systems","publication":"Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings","type":"conference","page":"534--548","user_id":"29719","citation":{"short":"N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.","mla":"Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>.","bibtex":"@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>}, booktitle={Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, author={Timm, Nils and Wehrheim, Heike}, editor={Song Dong, Jin and Zhu, HuibiaoEditors}, year={2010}, pages={534--548}, collection={Lecture Notes in Computer Science} }","ama":"Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised Systems. In: Song Dong J, Zhu H, eds. <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:534--548. doi:<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>","ieee":"N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, 2010, pp. 534--548.","chicago":"Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” In <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">https://doi.org/10.1007/978-3-642-16901-4_35</a>.","apa":"Timm, N., &#38; Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. In J. Song Dong &#38; H. Zhu (Eds.), <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i> (pp. 534--548). <a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">https://doi.org/10.1007/978-3-642-16901-4_35</a>"},"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-642-16901-4_35","editor":[{"last_name":"Song Dong","full_name":"Song Dong, Jin","first_name":"Jin"},{"first_name":"Huibiao","last_name":"Zhu","full_name":"Zhu, Huibiao"}]}