TY - GEN T1 - Checking semantics in UML models : Use case diagrams JF - CACIC 2001 [CD-ROM] A1 - Fillottrani, Pablo Rubén UL - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.53503 ER -