Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Combining Sequence Diagrams and OCL for Liveness

Combining Sequence Diagrams and OCL for Liveness

Alessandra Cavarra and Juliana Küster Filipe

Journal
Electronic Notes in Theoretical Computer Science
Pages
19−38
Volume
115
Year
2005

Links

See Also

Back to Top