COEMS - open traces from the industry.

Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz

Browse the full RV paper archive.