1.
|
An analysis of the computational complexity of DeLP through game semantics Cecchi, Laura - Fillottrani, Pablo Rubén - Simari, Guillermo Ricardo
|
2.
|
Checking semantics in UML models Kahnert, Susana - Fillottrani, Pablo Rubén
|