Computing in High Energy and Nuclear Physics (CHEP) 2012

Details for Tim Willemse

Title: Prof.

Affiliation: Assistant Professor

Author in the following contribution

• Analysis of DIRAC's behavior using model checking with process algebra