Boudewijn R Haverkort

Principles of Model Checking

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Distributed Applications and Interoperable Systems: 20th Ifip Wg 6.1 International Conference, Dais 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, Discotec 2020, Valletta, Malta, June 15-19, 2020...

Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, Discotec 2018, Madrid, Spain...

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006