Wolfgang Herzner, Georg Weissenbacher. A Pattern for Formal Verification of Properties of Large Systems. In Andy Longshaw, Uwe Zdun, editors, EuroPLoP 2005, Tenth European Conference on Pattern Languages of Programs, Irsee, Germany, July 6-10, 2005. pages 471-484, UVK - Universitaetsverlag Konstanz, 2005.
@inproceedings{HerznerW05,
title = {A Pattern for Formal Verification of Properties of Large Systems},
author = {Wolfgang Herzner and Georg Weissenbacher},
year = {2005},
researchr = {https://researchr.org/publication/HerznerW05},
cites = {0},
citedby = {0},
pages = {471-484},
booktitle = {EuroPLoP 2005, Tenth European Conference on Pattern Languages of Programs, Irsee, Germany, July 6-10, 2005},
editor = {Andy Longshaw and Uwe Zdun},
publisher = {UVK - Universitaetsverlag Konstanz},
isbn = {978-3-87940-805-4},
}