Vol-1430⫷ Vol-1431 ⫸Vol-1432
urn:nbn:de:0074-1431-0


Vol-1431/paper10⫷Vol-1431/paper11
Bogdan AmanGabriel Ciobanu

Verification of Bounded Real-Time Distributed Systems With Mobility