Model Checking Process Algebra of Communicating Resources for Real-Time Systems.

Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman

Browse the full ECRTS paper archive.