Author

Profile picture
Demissie Aredo
Department of Informatics, University of Oslo
Oslo, Norway
1 article by this author
Sort by:
Research Article
A Framework for Semantics of UML Sequence Diagrams in PVS
Demissie Aredo
10.3217/jucs-008-07-0674
 28-07-2002
 Unique: 286 | Total: 327  | Access Period:
 674-697
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK