Heiko Krumm. Logische Verifikation nebenläufiger Programme. Wirtschaftsinformatik, 29(4):131-140, 1987.
@article{Krumm87:0,
title = {Logische Verifikation nebenläufiger Programme},
author = {Heiko Krumm},
year = {1987},
researchr = {https://researchr.org/publication/Krumm87%3A0},
cites = {0},
citedby = {0},
journal = {Wirtschaftsinformatik},
volume = {29},
number = {4},
pages = {131-140},
}