OXFORD UNIVERSITY COMPUTING LABORATORY

Combining Sequence Diagrams and OCL for Liveness

Alessandra Cavarra and Juliana Küster Filipe

info

journal

Electronic Notes in Theoretical Computer Science

pages

19-38

volume

115

year

2005

links

BibTeX

DOI (10.1016/j.entcs.2004.09.025)

related pages

people

Random Image
Random Image
Random Image