Integrated Environment for Verifying and Running Distributed Components.

Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine

Browse the full FASE paper archive.