56

Validation of web service compositions

Year:
2007
Language:
english
File:
PDF, 390 KB
english, 2007
57

Towards automated verification of layered graph transformation specifications

Year:
2009
Language:
english
File:
PDF, 1005 KB
english, 2009