On Symmetries and Spotlights - Verifying Parameterised Systems
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.
Download
No fulltext has been uploaded.
Conference Paper
Author
Timm, Nils;
Wehrheim, HeikeLibreCat
Editor
Song Dong, Jin;
Zhu, Huibiao
Publishing Year
Proceedings Title
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings
forms.conference.field.series_title_volume.label
Lecture Notes in Computer Science
Page
534--548
LibreCat-ID
Cite this
Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised Systems. In: Song Dong J, Zhu H, eds. Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:534--548. doi:10.1007/978-3-642-16901-4_35
Timm, N., & Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. 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 (pp. 534--548). https://doi.org/10.1007/978-3-642-16901-4_35
@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={10.1007/978-3-642-16901-4_35}, 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} }
Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” In Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16901-4_35.
N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in 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.
Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:10.1007/978-3-642-16901-4_35.
Google Scholar