Hans Olsen

• Automatic verification of petri nets in a CLP framework
• Entwicklung der Befugnisse der Organe in den französischen Verfassungen von 1791-1799, mit Berücksichtigung der "organischen Senatskonsulte" von 1802 und 1804