Go home now Header Background Image
Search
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
/jucs_11_6/model_checking_automated_abstraction
page 1054 - 1082
Vol.11 / Issue 6
M. Sirjani, F.S. de Boer, A. Movaghar:
Modular Verification of a Component-Based Actor Language
/jucs_11_10/modular_verificatin_of_a
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
/jucs_15_13/on_the_semantics_and
page 2629 - 2652
Vol.15 / Issue 13