If you are experiencing problems downloading PDF or HTML fulltext, our helpdesk recommend clearing your browser cache and trying again. If you need help in clearing your cache, please click here . Still need help? Email help@ingentaconnect.com

Publisher: Elsevier

Related content
Volume 55, Number 3, January 2004

< previous issue | all issues | next issue >

Favourites:Add to Favourites

Model Checking with Abstract Types
pp. 1-12(12)
Author: Winter, K.

Favourites:Add to Favourites

Checking Java Implementation of a Naming Architecture Using Testera
pp. 1-21(21)
Authors: Khurshid, S.; Marinov, D.

Favourites:Add to Favourites
Favourites:Add to Favourites

Trail-Directed Model Checking
pp. 1-14(14)
Authors: Edelkamp, S.; Lluch-Lafuente, A.; Leue, S.

Favourites:Add to Favourites

Model Checking UML State Machines and Collaborations
pp. 1-13(13)
Authors: Schafer, T.; Knapp, A.; Merz, S.

Favourites:Add to Favourites

Automated validation of distributed software using the IF environment
pp. 1-12(12)
Authors: Bozga, M.; Graf, S.; Mounier, L.

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more