Verification of Bounded Real-Time Distributed Systems With Mobility.

Bogdan Aman, Gabriel Ciobanu

Browse the full VECoS paper archive.