History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.

Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hhnle, Einar Broch Johnsen

Browse the full ICFEM paper archive.