Checking Compositions of UML Sequence Diagrams for Timing Inconsistency

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Xuandong Li, Johan Lilius
Publisher: Turku Centre for Computer Science
Place: Turku
Publication year: 2000
Journal: TUCS Publication Series
Volume number: 363
Number of pages: 20
ISBN: 952-12-0703-5
ISSN: 1239-1891

Last updated on 2019-19-09 at 08:12