Lecture Notes in Informatics

Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam. P-21, 94-103 (2002).

GI, Gesellschaft für Informatik, Bonn
2002

Editors

Jörg Desel (ed.), Mathias Weske (ed.)

Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Home > Vol P-21 (2002)

Distributed verification with lola

Karsten Schmidt

Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-350-4

Last changed 04.10.2013 17:56:01