Original language | Undefined/Unknown |
---|---|
Publisher | Turku Centre for Computer Science |
Number of pages | 20 |
ISBN (Print) | 952-12-0703-5 |
Publication status | Published - 2000 |
MoE publication type | D4 Published development or research report or study |
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency
Li Xuandong, Johan Lilius
Research output: Book/Journal/Report › Commissioned report › Professional
8
Citations
(Scopus)