Go home now Header Background Image
Submission Procedure
share: |
Follow us

Frank S. de Boer
Department of Software Engineering, Centrum voor Wiskunde en Informatica, Netherlands

M. Sirjani, A. Movaghar, A. Shali, F. S. de Boer:
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models
page 1054 - 1082
Vol.11 / Issue 6
M. Sirjani, F.S. de Boer, A. Movaghar:
Modular Verification of a Component-Based Actor Language
page 1695 - 1717
Vol.11 / Issue 10
L. Aştef─ânoaei, M. Dastani, J.-J. Meyer, F.S. de Boer:
On the Semantics and Verification of Normative Multi-Agent Systems
page 2629 - 2652
Vol.15 / Issue 13