Name | hydraulic_leaking.enc.asp |
---|---|
Class Tree | |
Submitter | Barbara Nardi |
Author | Francesco Calimeri and Maria Carmela Santoro |
Description | |
Created | 2012-04-11 15:41 |
Modified | 2012-04-11 18:31 |
Languages | |
Language Features |
|
Compatible Instance Classes |
|
Input Predicates |
|
Output Predicates |
|
Encoding Parameter |
|
Standalone | No |
|
|
Attributes | |
Content |