@inproceedings{mci/Schmidt2002,
author = {Schmidt, Karsten},
title = {Distributed verification with LoLa},
booktitle = {Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen},
year = {2002},
editor = {Desel, Jörg AND Weske, Mathias} ,
pages = { 94-103 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}