by Alfred Bröckers, Volker Gruhn
Reference:
Alfred Bröckers, Volker Gruhn, "Computer-Aided Verification of Software Process Model Properties", In Proceedings of 5th International Conference on Advanced Information Systems, Springer-Verlag, London, UK, UK, pp. 521-546, 1993.
Bibtex Entry:
@inproceedings{
author = {Br{\"o}ckers, Alfred and Gruhn, Volker},
title = {Computer-Aided Verification of Software Process Model Properties},
booktitle = {Proceedings of 5th International Conference on Advanced Information Systems},
series = {CAiSE '93},
year = {1993},
isbn = {3-540-56777-1},
pages = {521--546},
numpages = {26},
url = {http://dl.acm.org/citation.cfm?id=646081.676532},
publisher = {Springer-Verlag},
address = {London, UK, UK},
}