Computing in High Energy and Nuclear Physics (CHEP) 2012

Details for Henri Bal

Title: Prof.

Affiliation: Professor of Computer Science

Author in the following contribution

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