Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Author
Frank De Boer
Department of Software Engineering, Centrum voor Wiskunde en Informatica
Amsterdam, Netherlands
2 articles by this author
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Research Article
Modular Verification of a Component-Based Actor Language
Marjan Sirjani
,
Frank De Boer
,
Ali Movaghar
10.3217/jucs-011-10-1695
28-10-2005
Unique: 454 | Total: 545
| Access Period:
1695-1717
HTML
XML
PDF
Research Article
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models
Marjan Sirjani
,
Ali Movaghar
,
Amin Shali
,
Frank De Boer
10.3217/jucs-011-06-1054
28-06-2005
Unique: 545 | Total: 644
| Access Period:
1054-1082
HTML
XML
PDF
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK