Modelling And Verification Of Concurrent Programs Using UPPAAL.

Franco Cicirelli, Libero Nigro, Francesco Pupo

Browse the full ECMS paper archive.